Abstraction

Verifying controllers with vision-based perception using safe approximate abstractions