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:  Smolka, Scott A.

Results 1-1 of 1 (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