Work

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems

Year: 2024

Type: article

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2024.3448306

Authors: P. Habeeb, Deepak D’Souza, Kamal Lodaya, Pavithra Prabhakar

Institutions: Indian Institute of Science Bangalore, Kansas State University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Amazon Research Awards, National Science Foundation

OpenAlex ID: W4404101458

FWCI: 0.976

Cites: 41

Cited by: 5

Related to: 10