Querying Labelled Data with Scenario Programs for Sim-to-Real Validation

1 December 2021

Papers citing "Querying Labelled Data with Scenario Programs for Sim-to-Real Validation"

2 / 2 papers shown

Title
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic Mohammad Hekmatnejad Bardh Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos 18 6 0 29 Jun 2022
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World Daniel J. Fremont Edward Kim Yash Vardhan Pant S. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Q. Lu Shalin Mehta 76 124 0 17 Mar 2020