TY  - RPRT
TI  - Verifiable Obstacle Detection
AU  - Ayoosh Bansal
AU  - Hunmin Kim
AU  - Simon Yu
AU  - Bo Li
AU  - Naira Hovakimyan
AU  - Marco Caccamo
AU  - Lui Sha
PY  - 2022
DO  - 10.1109/issre55969.2022.00017
UR  - https://arxiv.org/abs/2208.14403
ID  - 2208.14403
ER  -