@misc{indiciaefe8c6afe18b3,
  title = {Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions},
  author = {Hongkai Dai and Chuanrui Jiang and Hongchao Zhang and Andrew Clark},
  year = {2024},
  url = {https://arxiv.org/abs/2406.18914},
  note = {Source identifier: 2406.18914}
}