Publications

Export 1 results:
Author [ Title(Asc)] Type Year
Filters: Author is Kong, Zhaodan  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
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)