Guilherme Ramos, Sergio Daniel Pequito, A. Pedro Aguiar, Jaime Ramos, Soummya Kar. A model checking framework for linear time invariant switching systems using structural systems analysis. In 2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton Park & Retreat Center, Monticello, IL, USA, October 2-4, 2013. pages 973-980, IEEE, 2013. [doi]
@inproceedings{RamosPARK13,
title = {A model checking framework for linear time invariant switching systems using structural systems analysis},
author = {Guilherme Ramos and Sergio Daniel Pequito and A. Pedro Aguiar and Jaime Ramos and Soummya Kar},
year = {2013},
doi = {10.1109/Allerton.2013.6736631},
url = {http://dx.doi.org/10.1109/Allerton.2013.6736631},
researchr = {https://researchr.org/publication/RamosPARK13},
cites = {0},
citedby = {0},
pages = {973-980},
booktitle = {2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton Park & Retreat Center, Monticello, IL, USA, October 2-4, 2013},
publisher = {IEEE},
}