Work

Conservative Safety Monitors of Stochastic Dynamical Systems

Year: 2023

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-33170-1_9

Authors: Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin

Institutions: University of Pennsylvania, University of Florida

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: U.S. Department of Defense, Defense Advanced Research Projects Agency, Advanced Research Projects Agency, Army Research Office, Air Force Research Laboratory

Awards: G3345105982, G4713059963, G4785748979, G5057914180, G7452299184, G960819809

OpenAlex ID: W4379165267

FWCI: 2.071

Cites: 30

Cited by: 5

Related to: 10