Talks and Poster Presentations (with Proceedings-Entry):
I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta:
"SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems";
Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC),
Seattle, USA;
2015-04-13
- 2015-04-15; in: "Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control",
ACM,
(2015),
ISBN: 978-1-4503-3433-4;
189
- 198.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2728606.2728633