Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle. A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 2384-2391, IEEE, 2018. [doi]
Abstract is missing.