Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows.
Apurva BadithelaJosefine B. GraebenerWyatt UbellackerEric V. MazumdarAaron D. AmesRichard M. MurrayPublished in: ICRA (2023)