A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Goran Frehse' in GoogleThis author has not been identified. Look up 'Nikolaos Kekatos' in GoogleThis author has not been identified. Look up 'Dejan Nickovic' in GoogleThis author has not been identified. Look up 'Jens Oehlerking' in GoogleThis author has not been identified. Look up 'Simone Schuler' in GoogleThis author has not been identified. Look up 'Alexander Walsch' in GoogleThis author has not been identified. Look up 'Matthias Woehrle' in Google

runs on WebDSL