Author:André Platzer

Publications
Comparison Invariants for Verifying Control Invariance Promit Panja and André Platzer In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
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
Real Analysis for Complex Systems Andrè Platzer In:VERIFY-2010. 6th International Verification Workshop