Articles with public access mandates - André PlatzerLearn more
Available somewhere: 88
Differential dynamic logic for hybrid systems
A Platzer
Journal of Automated Reasoning 41 (2), 143-189, 2008
Mandates: German Research Foundation
KeYmaera: A hybrid theorem prover for hybrid systems (system description)
A Platzer, JD Quesel
Automated Reasoning, 171-178, 2008
Mandates: German Research Foundation
Safe reinforcement learning via formal methods: Toward safe control through proof and learning
N Fulton, A Platzer
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
Mandates: US National Science Foundation
European Train Control System: A case study in formal verification
A Platzer, JD Quesel
International Conference on Formal Engineering Methods, 246-265, 2009
Mandates: German Research Foundation
Differential-algebraic dynamic logic for differential-algebraic programs
A Platzer
Journal of Logic and Computation 20 (1), 309-352, 2010
Mandates: German Research Foundation
ModelPlex: Verified runtime validation of verified cyber-physical system models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
Mandates: US National Science Foundation, European Commission
Formal verification of curved flight collision avoidance maneuvers: A case study
A Platzer, EM Clarke
International Symposium on Formal Methods, 547-562, 2009
Mandates: German Research Foundation
Logics of dynamical systems
A Platzer
2012 27th Annual IEEE Symposium on Logic in Computer Science, 13-24, 2012
Mandates: German Research Foundation
A complete uniform substitution calculus for differential dynamic logic.
A Platzer
Journal of Automated Reasoning 59 (2), 219-265, 2017
Mandates: US National Science Foundation
Formal verification of obstacle avoidance and navigation of ground robots
S Mitsch, K Ghorbal, D Vogelbacher, A Platzer
The International Journal of Robotics Research 36 (12), 1312-1340, 2017
Mandates: US National Science Foundation, US Department of Defense, US Department of …
The image computation problem in hybrid systems model checking
A Platzer, EM Clarke
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007
Mandates: German Research Foundation
Differential dynamic logic for verifying parametric hybrid systems
A Platzer
International Conference on Automated Reasoning with Analytic Tableaux and …, 2007
Mandates: German Research Foundation
Computing differential invariants of hybrid systems as fixedpoints
A Platzer, EM Clarke
Formal Methods in System Design 35, 98-120, 2009
Mandates: German Research Foundation
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016
Mandates: US National Science Foundation, US Department of Energy, German Research …
VeriPhy: verified controller executables from verified cyber-physical system models
R Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
Mandates: US National Science Foundation, US Department of Defense, A*Star, Singapore
Formally verified differential dynamic logic
R Bohrer, V Rahli, I Vukotic, M Völp, A Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
Mandates: US National Science Foundation, US Department of Defense, Luxembourg …
Verifiably safe off-model reinforcement learning
N Fulton, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2019
Mandates: US Department of Defense
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
International Journal on Software Tools for Technology Transfer 19, 717-741, 2017
Mandates: US National Science Foundation
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, B Bohrer, A Platzer
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
Mandates: US National Science Foundation, US Department of Defense
Differential equation axiomatization: The impressive power of differential ghosts
A Platzer, YK Tan
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Mandates: US National Science Foundation, A*Star, Singapore
Publication and funding information is determined automatically by a computer program