@misc{indiciaef58cb86a843d,
  title = {Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications},
  author = {Amartya Mukherjee and Ruikun Zhou and Haocheng Chang and Jun Liu},
  year = {2024},
  url = {https://arxiv.org/abs/2310.02869},
  note = {Source identifier: 2310.02869}
}