@misc{indiciaeae3e00259899,
  title = {Barrier Certificate Synthesis for Non-Polynomial Robotic Dynamics via Polynomial Lifting},
  author = {Shivam Chaubey and Francesco Verdoja and Shankar Deka and Ville Kyrki},
  year = {2026},
  url = {https://arxiv.org/abs/2609.22885},
  note = {Source identifier: 2609.22885}
}