Platzer, André

5 publications

NeurIPS 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber, Stefan Mitsch, André Platzer

NeurIPS 2022 Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent, André Platzer

AAAI 2018 Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning Nathan Fulton, André Platzer

IJCAI 2013 A Generalization of SAT and #SAT for Robust Policy Evaluation Erik Peter Zawadzki, André Platzer, Geoffrey J. Gordon

AISTATS 2011 An Instantiation-Based Theorem Prover for First-Order Programming Erik Zawadzki, Geoffrey Gordon, Andre Platzer