@misc{indiciae04199fe5610b,
  title = {Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming},
  author = {Erfan Shakhesi and W. P. M. H. Heemels and Alexander Katriniok},
  year = {2025},
  url = {https://arxiv.org/abs/2504.19330},
  note = {Source identifier: 2504.19330}
}