A
André Platzer
Researcher at Carnegie Mellon University
Publications - 218
Citations - 6587
André Platzer is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Hybrid system & Formal verification. The author has an hindex of 41, co-authored 209 publications receiving 5815 citations. Previous affiliations of André Platzer include Technische Universität München & University of Oldenburg.
Papers
More filters
Proceedings ArticleDOI
Bayesian statistical model checking with application to Simulink/Stateflow verification
TL;DR: It is proved that Bayesian SMC can make the probability of giving a wrong answer arbitrarily small, which enables faster verification than state-of-the-art statistical techniques, while retaining the same error bounds.
Book
Logical Foundations of Cyber-Physical Systems
TL;DR: It is shown here how the axiomatization of game of choice and the role of choice determinacy in decision-making has changed in the modern era from simple to complex.
Journal ArticleDOI
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
TL;DR: A calculus over real arithmetic with discrete induction and a new differential induction with which differential-algebraic programs can be verified by exploiting their differential constraints algebraically without having to solve them are introduced.
Proceedings Article
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Nathan Fulton,André Platzer +1 more
TL;DR: It is proved that the approach toward incorporating knowledge about safe control into learning systems preserves safety guarantees, and it is demonstrated that the empirical performance benefits provided by reinforcement learning are retained.