Hyejin Han, Ricardo G. Sanfelice. Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 97-102, Elsevier, 2018. [doi]
Abstract is missing.