Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems

Publication Type:

E. Conference Papers

Source:

Proceedings of the 6th Analysis and Design of Hybrid Systems, Volume Volume 51, Issue Issue 16, p.97-102 (2018)
Preprint attachment: 
AttachmentSize
PDF icon 176.pdf297.32 KB