@misc{indiciaeb2e1c5041277,
  title = {Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications},
  author = {Prithvi Akella and Mohamadreza Ahmadi and Richard M. Murray and Aaron D. Ames},
  year = {2023},
  url = {https://arxiv.org/abs/2301.09622},
  note = {Source identifier: 2301.09622}
}