Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is Bartocci, Ezio  [Clear All Filters]
2015
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems, Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin , Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)  (679.39 KB)