4 citations · 5 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Confidence Composition for Monitors of Verification Assumptions
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov +4
Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine…
cs.LO2021
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky +1
Autonomous systems with machine learning-based perception can exhibit unpredictable behaviors that are difficult to quantify, let alone verify. Such behaviors are convenient to cap…