- Noah Abou El Wafa, André Platzer:
First-Order Game Logic and Modal Mu-Calculus. CoRR abs/2201.10012 (2022) - James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR abs/2203.01272 (2022) - Jonathan Laurent, André Platzer:
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies. CoRR abs/2205.14229 (2022) - Katherine Kosaian, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CoRR abs/2209.10978 (2022) - 2021
- André Müller, Ludwig Lausser, Adalbert F. X. Wilhelm, Timo Ropinski, Matthias Platzer, Heiko Neumann, Hans A. Kestler:
A perceptually optimised bivariate visualisation scheme for high-dimensional fold-change data. Adv. Data Anal. Classif. 15(2): 463-480 (2021) - Katherine Cordwell, Yong Kiam Tan, André Platzer:
The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs 2021 (2021) - Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021) - Yong Kiam Tan, André Platzer:
An axiomatic approach to existence and liveness for differential equations. Formal Aspects Comput. 33(4-5): 461-518 (2021) - Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58(1-2): 5-41 (2021) - Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer:
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 23(5): 827 (2021) - Rose Bohrer, André Platzer:
Structured Proofs for Adversarial Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 93:1-93:26 (2021) - Yong Kiam Tan, André Platzer:
Switched Systems as Hybrid Programs. ADHS 2021: 247-252 - Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. FM 2021: 200-217 - Katherine Cordwell, Yong Kiam Tan, André Platzer:
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP 2021: 14:1-14:20 - Yong Kiam Tan, André Platzer:
Deductive Stability Proofs for Ordinary Differential Equations. TACAS (2) 2021: 181-199 - André Platzer, Geoff Sutcliffe:
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Lecture Notes in Computer Science 12699, Springer 2021, ISBN 978-3-030-79875-8 [contents] - Yong Kiam Tan, André Platzer:
Switched Systems as Hybrid Programs. CoRR abs/2101.06195 (2021) - Katherine Cordwell, Yong Kiam Tan, André Platzer:
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR abs/2102.03003 (2021) - Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR abs/2105.14183 (2021) - Rachel Cleaveland, Stefan Mitsch, André Platzer:
Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X. CoRR abs/2106.02030 (2021) - Rose Bohrer, André Platzer:
Structured Proofs for Adversarial Cyber-Physical Systems. CoRR abs/2107.08852 (2021) - Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. CoRR abs/2111.01928 (2021) - 2020
- Alexander Knapp, Markus Roggenbach:
André Platzer: Logical foundations of cyber-physical systems. Formal Aspects Comput. 32(1): 149-151 (2020) - André Platzer, Yong Kiam Tan:
Differential Equation Invariance Axiomatization. J. ACM 67(1): 6:1-6:66 (2020) - Rose Bohrer, André Platzer:
Constructive Hybrid Games. IJCAR (1) 2020: 454-473 - Rose Bohrer, André Platzer:
Constructive Game Logic. ESOP 2020: 84-111 - Rose Bohrer, André Platzer:
Refining Constructive Hybrid Games. FSCD 2020: 14:1-14:19 - Stefan Mitsch, André Platzer:
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. 20 Years of KeY 2020: 21-64 - Rose Bohrer, André Platzer:
Constructive Hybrid Games. CoRR abs/2002.02536 (2020) - Rose Bohrer, André Platzer:
Refining Constructive Hybrid Games. CoRR abs/2002.02576 (2020)