Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

23 January 2023

Papers citing "Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications"

1 / 1 papers shown

Title
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