Work

Compositional Verification for Autonomous Systems with Deep Learning Components

Year: 2018

Type: book-chapter

Source: Unmanned system technologies

DOI: 10.1007/978-3-319-97301-2_10

Authors: Corina S. Păsăreanu, Divya Gopinath, Huafeng Yu

Institutions: Ames Research Center, Carnegie Mellon University, Boeing (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2896415448

FWCI: 7.064

Cites: 21

Cited by: 30

Related to: 10