Verifiable Obstacle Detection

Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha. Verifiable Obstacle Detection. In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 61-72, IEEE, 2022. [doi]

Abstract

Abstract is missing.