Andreas Müller 0002, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. A Benchmark for Component-based Hybrid Systems Safety Verification. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 65-74, EasyChair, 2017. [doi]
Abstract is missing.