@inproceedings{FKN+8,
title = {A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates },
author = {Frehse, Goran and Kekatos, Nikolaos and Nickovic, Dejan and Oehlerking, Jens and Schuler, Simone and Walsch, Alexander and Woehrle, Matthias},
month = {06},
year = {2018},
booktitle = {2018 Annual American Control Conference (ACC)},
pages = {2384-2391},
team = {TEMPO},
}