# Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

> Research article (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022) · cited 31× · AI/ML

**Wikidata**: [openalex:W4293243644](https://www.wikidata.org/wiki/openalex:W4293243644)  
**Source**: https://4ort.xyz/entity/verifying-controllers-with-vision-based-perception-using-safe-approximate-abstractions