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

IEEE Conference on Decision and Control (CDC), 2021

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 162 2 0 29 Apr 2025
Incorporating System-level Safety Requirements in Perception Models via Reinforcement Learning Weisi Fan Jesse Lane Qisai Liu Soumik Sarkar Tichakorn Wongpiromsarn 195 0 0 04 Dec 2024
Evaluation Metrics for Object Detection for Autonomous Systems Apurva Badithela Tichakorn Wongpiromsarn R. Murray 108 6 0 19 Oct 2022