Concepedia

André Platzer

AP

Statistics

Publications

47

Citations

2.6K

H-Index

27

Active since

2006

Affiliations

Carnegie Mellon University(Current)

Carl von Ossietzky Universität Oldenburg

Johns Hopkins University Applied Physics Laboratory

Johannes Kepler University of Linz

André Platzer is an author at Carnegie Mellon University specializing in computer science, systems engineering, and formal methods.

Publications per year

2006–2024

47

Publications

47

Differential Dynamic Logic for Hybrid Systems

André Platzer · Journal of Automated Reasoning · 2008 · 389 citations · Full text

Computing, Computer Science, Systems Engineering +14

Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning

Nathan Fulton, André Platzer · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 184 citations · Full text

Computing, Autonomous Systems, Systems Engineering +17

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

André Platzer · Journal of Logic and Computation · 2008 · 135 citations · Full text

Natural Sciences, Computer Science, Mathematics +8

ModelPlex: verified runtime validation of verified cyber-physical system models

Stefan Mitsch, André Platzer · Formal Methods in System Design · 2016 · 122 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Bayesian statistical model checking with application to Simulink/Stateflow verification

Paolo Zuliani, André Platzer, Edmund M. Clarke · 2010 · 119 citations

Computing, Computer Science, Systems Engineering +17

1–5 of 47