OpenAlex | Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems

Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems

Work

Year: 2008

Type: book-chapter

Source: Lecture notes in computer science

Authors Amit Bhatia, Emilio Frazzoli

Institutions University of California, Los Angeles, Massachusetts Institute of Technology

Cites: 22

Cited by: 11

Related to: 10

FWCI: 2.044

Citation percentile (by year/subfield): 81.36

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: closed