2 papers
cs.RO2024
Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals
Harrison Delecki, Sydney M. Katz, Mykel J. Kochenderfer
Estimating the probability of failure is a critical step in developing safety-critical autonomous systems. Direct estimation methods such as Monte Carlo sampling are often impracti…
eess.SY2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
Nicholas Rober, Sydney M. Katz, Chelsea Sidrane +4
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are s…