%0 Conference Paper
%K networked dynamical systems
%K parameter synthesis
%K spatial temporal logic
%K statistical model checking
%B Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
%C New York, NY, USA
%D 2015
%G eng
%I ACM
%R 10.1145/2728606.2728633
%T SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems
%U http://doi.acm.org/10.1145/2728606.2728633
%@ 978-1-4503-3433-4