Work

Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception

Year: 2025

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-99991-8_1

Authors: Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Păsăreanu

Institutions: University of Pennsylvania, Ames Research Center, Colorado State University, Carnegie Mellon University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4415566729

FWCI: 3.746

Cites: 28

Cited by: 2

Related to: