@misc{indiciaeec1b55a88cb5,
  title = {Funnel-based Control for Reach-Avoid-Stay Specifications},
  author = {Ratnangshu Das and Pushpak Jagtap},
  year = {2023},
  url = {https://arxiv.org/abs/2308.15803},
  note = {Source identifier: 2308.15803}
}