Paulo Tabuada, George J. Pappas. Model Checking LTL over Controllable Linear Systems Is Decidable. In Oded Maler, Amir Pnueli, editors, Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Volume 2623 of Lecture Notes in Computer Science, pages 498-513, Springer, 2003. [doi]
@inproceedings{TabuadaP03, title = {Model Checking LTL over Controllable Linear Systems Is Decidable}, author = {Paulo Tabuada and George J. Pappas}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2623/26230498.htm}, tags = {control systems, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/TabuadaP03}, cites = {0}, citedby = {0}, pages = {498-513}, booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings}, editor = {Oded Maler and Amir Pnueli}, volume = {2623}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00913-2}, }