X
Google_scholar
LinkedIn

Home
Research
Publications
Teaching
Group
News and Press
Search
Menu Menu

Model checking LTL over controllable linear systems is decidable

Model checking LTL over controllable linear systems is decidable

April 1, 2003/in Uncategorized/by Academic Web Pages

Share this entry

Share on X
Share on LinkedIn
Share by Mail

https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png 0 0 Academic Web Pages https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png Academic Web Pages2003-04-01 00:00:002024-05-02 08:10:22Model checking LTL over controllable linear systems is decidable

Office

3401 Walnut Street
Room 462
Philadelphia, PA 19104
(215) 898-9780
ude.nnepu.saes@gsappap

Mail

200 South 33rd Street
Department of Electrical and Systems Engineering
University of Pennsylvania
Philadelphia, PA 19104

© Copyright George Pappas Lab. Site by Academic Web Pages

Login