Verifiable Obstacle Detection.

Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha

Browse the full ISSRE paper archive.