K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
André Platzer
also known as A. Platzer, Andre Platzer, Andrè Platzer
Karlsruhe Institute of Technology · Carl von Ossietzky Universität Oldenburg · Laboratoire d'Informatique de Paris-Nord · Technical University of Munich
About this author
Works
244
Cited by
5,631
h-index
37
i10
95
ORCID ↗
Top papers
Differential Dynamic Logic for Hybrid Systems
André Platzer
·
2008
·
Journal of Automated Reasoning
↗ 384
OA
A Bayesian Approach to Model Checking Biological Systems
Sumit Kumar Jha, Edmund M. Clarke, Christopher J. Langmead, et al.
·
2009
·
Lecture notes in computer science
↗ 253
Logical Foundations of Cyber-Physical Systems
André Platzer
·
2018
↗ 239
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
André Platzer, Jan-David Quesel
·
2008
·
Lecture notes in computer science
↗ 235
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, et al.
·
2015
·
Lecture notes in computer science
↗ 229
OA
Logical Analysis of Hybrid Systems
André Platzer
·
2010
↗ 221
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Nathan Fulton, André Platzer
·
2018
·
Proceedings of the AAAI Conference on Artificial Intelligence
↗ 181
OA
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
Sarah M. Loos, André Platzer, Ligia Nistor
·
2011
·
Lecture notes in computer science
↗ 160
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
·
2009
·
Lecture notes in computer science
↗ 138
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
André Platzer
·
2008
·
Journal of Logic and Computation
↗ 135
OA
ModelPlex: verified runtime validation of verified cyber-physical system models
Stefan Mitsch, André Platzer
·
2016
·
Formal Methods in System Design
↗ 122
OA
Bayesian statistical model checking with application to Simulink/Stateflow verification
Paolo Zuliani, André Platzer, Edmund M. Clarke
·
2010
↗ 119
Books
Logical Foundations of Cyber-Physical Systems
2018
·
Springer
Logical Analysis of Hybrid Systems
2010
·
Springer
Automated Deduction - CADE 28
2021
·
Springer International Publishing AG
Correct System Design
2015
·
Springer
Formal Methods
2024
·
Springer