Autonomous Systems

Verifying controllers with vision-based perception using safe approximate abstractions