ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2015


Article Details
Title: SpaTeL: a novel spatial-temporal logic and its applications to networked systems
Article URLs:
Alternative Article URLs:
Authors: Iman Haghighi
  • Boston University
Austin Jones
  • Boston University
Zhaodan Kong
  • University of California - Davis
Ezio Bartocci
  • TU Wien
Radu Grosu
  • TU Wien
Calin Belta
  • Boston University
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 0939511
DBLP Key: conf/hybrid/HaghighiJKBGB15
Author Comments:

Discuss this paper and its artifacts below