conftrace_
← Authors

Khalil Ghorbal

1 papers · 2013–2013 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓
๐Ÿฃ Hot Topic Early Bird ๐Ÿ Cross-Pollinator (15) ๐Ÿ“ˆ Trend Setter

Conferences

RSS (1)

Top co-authors

Andrรฉ Platzer (1) Stefan Mitsch (1)

Keywords

formal verification (1) hybrid system (1) autonomous vehicle (1) obstacle avoidance (1)

Papers

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