Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

16 May 2021

Papers citing "Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications"

3 / 3 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
Evaluation Metrics for Object Detection for Autonomous Systems Apurva Badithela Tichakorn Wongpiromsarn R. Murray 24 3 0 19 Oct 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017