Brandon Bohrer, Adriel Luo, Xue An Chuang, André Platzer. CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. 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 55-60, Elsevier, 2018. [doi]
Abstract is missing.