Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows

19 October 2022

Eric V. Mazumdar

Papers citing "Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows"

2 / 2 papers shown

Title
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications Josefine B. Graebener Apurva Badithela Denizalp Goktas Wyatt Ubellacker Eric V. Mazumdar Aaron D. Ames Richard M. Murray 27 2 0 15 Apr 2024
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications Prithvi Akella M. Ahmadi R. Murray Aaron D. Ames TTA 17 1 0 23 Jan 2023