@inproceedings{Li_2025, series={ICCPS ’25}, title={Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts}, url={http://dx.doi.org/10.1145/3716550.3725157}, DOI={10.1145/3716550.3725157}, booktitle={Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)}, publisher={ACM}, author={Li, Yangge and Ji, Chenxi and Mitra, Sayan}, year={2025}, month=May, pages={1–2}, collection={ICCPS ’25} }