TY  - RPRT
TI  - Barrier Certificate Synthesis for Non-Polynomial Robotic Dynamics via Polynomial Lifting
AU  - Shivam Chaubey
AU  - Francesco Verdoja
AU  - Shankar Deka
AU  - Ville Kyrki
PY  - 2026
UR  - https://arxiv.org/abs/2609.22885
ID  - 2609.22885
ER  -