67 citations · 173 across the 30 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 3 cited
GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Sophie Gruenbacher, Mathias Lechner, Ramin Hasani +4
We introduce a new stochastic verification algorithm that formally quantifies the behavioral robustness of any time-continuous process formulated as a continuous-depth model. Our a…
cs.SE2021★ 14 cited
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
Usama Mehmood, Sanaz Sheikhi, Stanley Bak +2
The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline cont…