65 citations · 306 across the 20 of their papers we have counts for
5 papers · 1 filter
Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Stanley Bak, Johannes Betz, Abhinav Chawla +2
High-performance autonomy often must operate at the boundaries of safety. When external agents are present in a system, the process of ensuring safety without sacrificing performan…
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Stanley Bak, Changliu Liu, Taylor Johnson
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Aut…
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala +2
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often…
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for disc…
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…