Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
 
Publisher Herausgeber
ACM
 

Publications Publikationen

Filter:
Author:  Grosu, Radu

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the realsKonferenzbeitrag Inproceedings 2015
2Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan ; Bartocci, Ezio ; Gros, Radu ; Belta, Calin SpaTeLKonferenzbeitrag Inproceedings 2015