@misc{indiciae1bd4a776f573,
  title = {Filtering for Liveness: Recurrence via Backup Reachability Control Barrier Functions},
  author = {David E. J. van Wijk and Pio Ong and Aaron D. Ames and Joel W. Burdick},
  year = {2026},
  url = {https://arxiv.org/abs/2610.17337},
  note = {Source identifier: 2610.17337}
}