A Benchmark for Component-based Hybrid Systems Safety Verification

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

Original languageEnglish (American)
Title of host publicationARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Pages65 - 74
Number of pages10
Publication statusPublished - 27 Jun 2017

Publication series

NameEPiC Series in Computing
ISSN (Electronic)2398-7340

Cite this