AndrΓ© Platzer
5 papers · 2011–2024 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Interdisciplinary Bridge π Academic Marathon (13) π§ Keyword Pioneer π Conference Polyglot (4) π Cross-Pollinator (9)
π
Academic Marathon
(13)
π
Cross-Pollinator
(9)
π
Renaissance Researcher
(6)
π
Keyword Trendsetter Combo
(3)
π
Keyword Champion
(2)
π
Trend Setter
π
Conference Pioneer
Conferences
NIPS (2)
AISTATS (1)
IJCAI (1)
RSS (1)
Top co-authors
Keywords
formal verification
(2)
hybrid system
(2)
formal methods
(1)
automated reasoning
(1)
lifted inference
(1)
first-order logic
(1)
neural network verification
(1)
differential dynamic logic
(1)
cyber-physical system
(1)
infinite-time safety
(1)
autonomous vehicle
(1)
automated theorem proving
(1)
first-order programming
(1)
mixed-integer linear programming
(1)
refutational completeness
(1)
search strategy
(1)
safety-critical system
(1)
obstacle avoidance
(1)
loop invariant
(1)
neural network
(1)
Papers
Provably Safe Neural Network Controllers via Differential Dynamic Logic
NIPS 2024
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
NIPS 2022
A Generalization of SAT and #SAT for Robust Policy Evaluation
IJCAI 2013
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
RSS 2013
An Instantiation-Based Theorem Prover for First-Order Programming
AISTATS 2011