Conference Implicit and Explicit Proof Management in KeYmaera X • Electronic Proceedings in Theoretical Computer Science • 338:53-67 Mitsch S
Conference On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles Mitsch S, Ghorbal K, Platzer A
