Work

Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts

Year: 2025

Type: conference-paper

Abstract: Vision-based autonomous systems are increasingly deployed in critical applications, yet verifying them end-to-end remains a formidable challenge due to uncertainties in image formation and the complexity of downstream ML-based perception. While perception contracts have been proposed to address this issue by bounding the possible outputs of a perception module, their guarantees are typically probabilistic. In this work, we propose a novel approach that integrates perception contracts with abstract rendering---a technique that computes rigorous, interval-based over-approximations of all possible rendered images under camera and scene uncertainties---to enable formal verification of vision-based autonomous systems.

Source: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

DOI: 10.1145/3716550.3725157

Authors: Yangge Li, Chenxi Ji, Sayan Mitra

Institution: University of Illinois Urbana-Champaign

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Aeronautics and Space Administration, Nuclear Safety and Security Commission

Award: G3995854737