Data-Driven Modeling and Verification of Perception-Based Autonomous Systems

11 December 2023

George J. Pappas

Papers citing "Data-Driven Modeling and Verification of Perception-Based Autonomous Systems"

2 / 2 papers shown

Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 53 0 0 29 Apr 2025
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017