@inproceedings{1,
  keywords = {networked dynamical systems, parameter synthesis, spatial temporal logic, statistical model checking},
  author = {Iman Haghighi and Austin Jones and Zhaodan Kong and Ezio Bartocci and Radu Grosu and Calin Belta},
  title = {SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems},
  year = {2015},
  journal = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-3433-4},
  url = {http://doi.acm.org/10.1145/2728606.2728633},
  doi = {10.1145/2728606.2728633},
  language = {eng},
}