TY - CPAPER
KW - networked dynamical systems
KW - parameter synthesis
KW - spatial temporal logic
KW - statistical model checking
AU - Iman Haghighi
AU - Austin Jones
AU - Zhaodan Kong
AU - Ezio Bartocci
AU - Radu Grosu
AU - Calin Belta
BT - Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
CY - New York, NY, USA
DO - 10.1145/2728606.2728633
LA - eng
PB - ACM
PP - New York, NY, USA
PY - 2015
SN - 978-1-4503-3433-4
T2 - Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
TI - SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems
UR - http://doi.acm.org/10.1145/2728606.2728633
ER -