Title | SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin |
Conference Name | Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control |
Publisher | ACM |
Conference Location | New York, NY, USA |
ISBN Number | 978-1-4503-3433-4 |
Keywords | networked dynamical systems, parameter synthesis, spatial temporal logic, statistical model checking |
URL | http://doi.acm.org/10.1145/2728606.2728633 |
DOI | 10.1145/2728606.2728633 |