2022 Issre

Verifiable Obstacle Detection accepted to appear in ISSRE 2022.