André Platzer
5 papers · 2011–2024 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (14) 🐣 Hot Topic Early Bird
🧭
Keyword Pioneer
🏆
Keyword Champion
(2)
🌟
Keyword Trendsetter Combo
(3)
📈
Trend Setter
🚀
Conference Pioneer
Venues
Top co-authors
Research topics
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)
mixed integer linear programming
(1)
first-order 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
NeurIPS 2024
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
NeurIPS 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