SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems

TitleSpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems
Publication TypeConference Paper
Year of Publication2015
AuthorsHaghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin
Conference NameProceedings of the 18th International Conference on Hybrid Systems: Computation and Control
PublisherACM
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-3433-4
Keywordsnetworked dynamical systems, parameter synthesis, spatial temporal logic, statistical model checking
URLhttp://doi.acm.org/10.1145/2728606.2728633
DOI10.1145/2728606.2728633

Attachments: