Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search

31 January 2023

Papers citing "Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search"

3 / 3 papers shown

Title
System Safety Monitoring of Learned Components Using Temporal Metric Forecasting Sepehr Sharifi Andrea Stocco Lionel C. Briand AI4TS 48 1 0 21 May 2024
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems Aman Sinha Matthew O'Kelly Russ Tedrake John C. Duchi 39 48 0 24 Aug 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017