André Platzer

ORCID

Publication Activity (10 Years)

Years Active: 2006-2025
Publications (10 Years): 113

Top Venues

CoRR

CADE

Int. J. Softw. Tools Technol. Transf.

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

André Platzer
Hybrid dynamical systems logic and its refinements. Sci. Comput. Program. 239 (2025)
Enguerrand Prebet, André Platzer
Uniform Substitution for Differential Refinement Logic. CoRR (2024)
Noah Abou El Wafa, André Platzer
Complete Game Logic with Sabotage. CoRR (2024)
Samuel Teuber, Stefan Mitsch, André Platzer
Provably Safe Neural Network Controllers via Differential Dynamic Logic. CoRR (2024)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) (2024)
André Platzer
Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI. CoRR (2024)
André Platzer
The Significance of Symbolic Logic for Scientific Education. CoRR (2024)
Noah Abou El Wafa, André Platzer
Complete Game Logic with Sabotage. LICS (2024)
Enguerrand Prebet, André Platzer
Uniform Substitution for Differential Refinement Logic. IJCAR (2) (2024)
Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CADE (2023)
Myra Dotzel, Stefan Mitsch, André Platzer
A Usage-Aware Sequent Calculus for Differential Dynamic Logic. CoRR (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CoRR (2023)
Rachel Cleaveland, Stefan Mitsch, André Platzer
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. ACM Trans. Embed. Comput. Syst. 22 (1) (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Dynamic Logic of Communicating Hybrid Programs. CoRR (2023)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. CoRR (2023)
André Platzer
Refinements of Hybrid Dynamical Systems Logic. ABZ (2023)
William Simmons, André Platzer
Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems. CoRR (2023)
Katherine Kosaian, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CPP (2023)
André Platzer
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). SC-Square@ISSAC (2023)
Qin Lin, Stefan Mitsch, André Platzer, John M. Dolan
Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. IEEE Control. Syst. Lett. 6 (2022)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Katherine Kosaian, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CoRR (2022)
Noah Abou El Wafa, André Platzer
First-Order Game Logic and Modal Mu-Calculus. CoRR (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR (2022)
Yong Kiam Tan, Stefan Mitsch, André Platzer
Verifying Switched System Stability With Logic. HSCC (2022)
Aditi Kabra, Stefan Mitsch, André Platzer
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Jonathan Laurent, André Platzer
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis. NeurIPS (2022)
James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR (2022)
Jonathan Laurent, André Platzer
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies. CoRR (2022)
André Platzer
Correction to: Differential Dynamic Logic for Hybrid Systems. J. Autom. Reason. 66 (1) (2022)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58 (1-2) (2021)
Brandon Bohrer, André Platzer
Structured Proofs for Adversarial Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs 2021 (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) (2021)
Yong Kiam Tan, André Platzer
Switched Systems as Hybrid Programs. ADHS (2021)
Yong Kiam Tan, André Platzer
An axiomatic approach to existence and liveness for differential equations. Formal Aspects Comput. 33 (4-5) (2021)
Brandon Bohrer, André Platzer
Structured Proofs for Adversarial Cyber-Physical Systems. CoRR (2021)
Yong Kiam Tan, André Platzer
Deductive Stability Proofs for Ordinary Differential Equations. TACAS (2) (2021)
Rachel Cleaveland, Stefan Mitsch, André Platzer
Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X. CoRR (2021)
Yong Kiam Tan, André Platzer
Switched Systems as Hybrid Programs. CoRR (2021)
Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer
Verified Quadratic Virtual Substitution for Real Arithmetic. FM (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP (2021)
Yong Kiam Tan, Stefan Mitsch, André Platzer
Verifying Switched System Stability With Logic. CoRR (2021)
Katherine Cordwell, Yong Kiam Tan, André Platzer
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. CoRR (2021)
Brandon Bohrer, André Platzer
Constructive Hybrid Games. CoRR (2020)
Brandon Bohrer, André Platzer
Constructive Hybrid Games. IJCAR (1) (2020)
Brandon Bohrer, André Platzer
Constructive Game Logic. CoRR (2020)
André Platzer, Yong Kiam Tan
Differential Equation Invariance Axiomatization. J. ACM 67 (1) (2020)
Yong Kiam Tan, André Platzer
Deductive Stability Proofs for Ordinary Differential Equations. CoRR (2020)
Yong Kiam Tan, André Platzer
An Axiomatic Approach to Existence and Liveness for Differential Equations. CoRR (2020)
Brandon Bohrer, André Platzer
Refining Constructive Hybrid Games. FSCD (2020)
Brandon Bohrer, André Platzer
Constructive Game Logic. ESOP (2020)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: Sound Continuous Invariant Generation. CoRR (2020)
Brandon Bohrer, André Platzer
Refining Constructive Hybrid Games. CoRR (2020)
André Platzer
Differential Game Logic. Arch. Formal Proofs 2019 (2019)
André Platzer
Overview of Logical Foundations of Cyber-Physical Systems. CoRR (2019)
André Platzer
Uniform Substitution at One Fell Swoop. CADE (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics Autom. Lett. 4 (3) (2019)
Katherine Cordwell, André Platzer
Towards Physical Hybrid Systems. CADE (2019)
André Platzer
Uniform Substitution At One Fell Swoop. CoRR (2019)
Brandon Bohrer, Manuel Fernández, André Platzer
: Definite Descriptions in Differential Dynamic Logic. CADE (2019)
Yong Kiam Tan, André Platzer
An Axiomatic Approach to Liveness for Differential Equations. CoRR (2019)
Yong Kiam Tan, André Platzer
An Axiomatic Approach to Liveness for Differential Equations. FM (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR (2019)
Luis Garcia, Stefan Mitsch, André Platzer
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification. CoRR (2019)
André Platzer
The Logical Path to Autonomous Cyber-Physical Systems. QEST (2019)
Brandon Bohrer, André Platzer
Toward Structured Proofs for Dynamic Logics. CoRR (2019)
Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer
Verifiably safe SCUBA diving using commodity sensors: work-in-progress. EMSOFT Companion (2019)
Katherine Cordwell, André Platzer
Towards Physical Hybrid Systems. CoRR (2019)
Nathan Fulton, André Platzer
Verifiably Safe Off-Model Reinforcement Learning. CoRR (2019)
Nathan Fulton, André Platzer
Verifiably Safe Off-Model Reinforcement Learning. TACAS (1) (2019)
André Platzer, Yong Kiam Tan
Differential Equation Invariance Axiomatization. CoRR (2019)
João G. Martins, André Platzer, João Leite
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX (2019)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: A Framework for Sound Continuous Invariant Generation. FM (2019)
Luis Garcia, Stefan Mitsch, André Platzer
HyPLC: hybrid programmable logic controller program translation for verification. ICCPS (2019)
Luis Garcia, Stefan Mitsch, André Platzer
Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. ICCPS (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
VeriPhy: verified controller executables from verified cyber-physical system models. PLDI (2018)
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
Vector Barrier Certificates and Comparison Systems. FM (2018)
André Platzer
Uniform Substitution for Differential Game Logic. IJCAR (2018)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2018)
Stefan Mitsch, André Platzer
Verified Runtime Validation for Partially Observable Hybrid Systems. CoRR (2018)
Nathan Fulton, André Platzer
Safe AI for CPS (Invited Paper). ITC (2018)
André Platzer
Uniform Substitution for Differential Game Logic. CoRR (2018)
Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). CyPhy/WESE (2018)
André Platzer, Yong Kiam Tan
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. LICS (2018)
André Platzer, Yong Kiam Tan
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. CoRR (2018)
Brandon Bohrer, Adriel Luo, Xue An Chuang, André Platzer
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. ADHS (2018)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Tactical contract composition for hybrid system component verification. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Nathan Fulton, André Platzer
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. AAAI (2018)
Brandon Bohrer, André Platzer
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. LICS (2018)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Change and Delay Contracts for Hybrid System Component Verification. FASE (2017)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer
Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP (2017)
André Platzer
Differential Hybrid Games. ACM Trans. Comput. Log. 18 (3) (2017)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek (2017)
Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
Formal Verification of Train Control with Air Pressure Brakes. RSSRail (2017)
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal verification of obstacle avoidance and navigation of ground robots. Int. J. Robotics Res. 36 (12) (2017)
Brandon Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer
Formally verified differential dynamic logic. CPP (2017)

André Platzer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

André Platzer