Work

Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey

Year: 2024

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-75778-5_5

Authors: Sayan Mitra, Corina Păsăreanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu

Institutions: University of Illinois Urbana-Champaign, Ames Research Center, Carnegie Mellon University, Kansas State University, University of California, Berkeley, Colorado State University, University of Pennsylvania, United States Department of Transportation

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4404448299

FWCI: 4.598

Cites: 71

Cited by: 7

Related to: 10