Author:Andreas Müller

Publications
A Benchmark for Component-based Hybrid Systems Safety Verification Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems