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: CoRR (2022)