@misc{indiciaec29c0620ecba,
  title = {Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows},
  author = {Apurva Badithela and Josefine B. Graebener and Wyatt Ubellacker and Eric V. Mazumdar and Aaron D. Ames and Richard M. Murray},
  year = {2022},
  url = {https://arxiv.org/abs/2210.10304},
  note = {Source identifier: 2210.10304}
}