@misc{indiciae5ae25fad60ab,
  title = {Sufficient and Necessary Smooth Barrier-Like Conditions for Continuous-Time Finite-Horizon Safety Verification},
  author = {Bai Xue},
  year = {2026},
  url = {https://arxiv.org/abs/2611.04888},
  note = {Source identifier: 2611.04888}
}