@misc{indiciaea35b57e0b671,
  title = {Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees},
  author = {Jun Liu and Maxwell Fitzsimmons},
  year = {2025},
  url = {https://arxiv.org/abs/2510.02223},
  note = {Source identifier: 2510.02223}
}