Verifiable Obstacle Detection accepted to appear in ISSRE 2022.