Stefan Mitsch

2 papers · 2013–2024 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (9) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (11) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 📈 Trend Setter

Conferences

NIPS (1) RSS (1)

Top co-authors

André Platzer (2) Khalil Ghorbal (1) Samuel Teuber (1)

Keywords

formal verification (2) hybrid system (2) differential dynamic logic (1) cyber-physical system (1) infinite-time safety (1) autonomous vehicle (1) safety-critical system (1) obstacle avoidance (1) formal methods (1) polynomial real arithmetic (1) neural network verification (1)

Papers

Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles RSS 2013