Vision-Based Control

Verifying controllers with vision-based perception using safe approximate abstractions