André Platzer
Carnegie Mellon University
H-index: 47
North America-United States
Top articles of André Platzer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Uniform Substitution for Differential Refinement Logic | arXiv preprint arXiv:2404.16734 | Enguerrand Prebet André Platzer | 2024/4/25 |
Complete Game Logic with Sabotage | arXiv preprint arXiv:2404.09873 | Noah Abou El Wafa André Platzer | 2024/4/15 |
CESAR: Control Envelope Synthesis via Angelic Refinements | Aditi Kabra Jonathan Laurent Stefan Mitsch André Platzer | 2024/4/4 | |
Provably Safe Neural Network Controllers via Differential Dynamic Logic | arXiv preprint arXiv:2402.10998 | Samuel Teuber Stefan Mitsch André Platzer | 2024/2/16 |
A first complete algorithm for real quantifier elimination in Isabelle/HOL | Katherine Kosaian Yong Kiam Tan André Platzer | 2023/1/11 | |
Uniform substitution for dynamic logic with communicating hybrid programs | Marvin Brieger Stefan Mitsch André Platzer | 2023/7/1 | |
Refinements of Hybrid Dynamical Systems Logic | André Platzer | 2023/5/15 | |
Lecture Notes on SAT Solvers & DPLL | Matt Fredrikson Ruben Martins | 2023/3/21 | |
Dynamic Logic of Communicating Hybrid Programs | arXiv preprint arXiv:2302.14546 | Marvin Brieger Stefan Mitsch André Platzer | 2023/2/28 |
Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems | arXiv preprint arXiv:2301.10935 | William Simmons André Platzer | 2023/1/26 |
A Usage-Aware Sequent Calculus for Differential Dynamic Logic | arXiv preprint arXiv:2309.01180 | Myra Dotzel Stefan Mitsch Andre Platzer | 2023/9/3 |
Verifying switched system stability with logic | Yong Kiam Tan Stefan Mitsch André Platzer | 2022/5/4 | |
Correction to: Differential Dynamic Logic for Hybrid Systems | Journal of Automated Reasoning | André Platzer | 2022/2 |
Learning to find proofs and theorems by learning to refine search strategies: The case of loop invariant synthesis | Advances in Neural Information Processing Systems | Jonathan Laurent André Platzer | 2022/12/6 |
First-Order Game Logic and Modal Mu-Calculus | arXiv preprint arXiv:2201.10012 | Noah Abou El Wafa André Platzer | 2022/1/25 |
Formally verified next-generation airborne collision avoidance games in ACAS X | ACM Transactions on Embedded Computing Systems | Rachel Cleaveland Stefan Mitsch André Platzer | 2022/10/29 |
Verified train controllers for the federal railroad administration train kinematics model: Balancing competing brake and track forces | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Aditi Kabra Stefan Mitsch André Platzer | 2022/8/9 |
Implicit Definitions with Differential Equations for KeYmaera X: (System Description) | James Gallicchio Yong Kiam Tan Stefan Mitsch André Platzer | 2022/8/1 | |
Switched Systems as Hybrid Programs | IFAC-PapersOnLine | Yong Kiam Tan André Platzer | 2021/1/1 |
The BKR decision procedure for univariate real arithmetic | Archive of Formal Proofs | Katherine Cordwell Yong Kiam Tan André Platzer | 2021/4 |