TY  - RPRT
TI  - PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
AU  - Ben Wooding
AU  - Viacheslav Horbanov
AU  - Abolfazl Lavaei
PY  - 2025
UR  - https://arxiv.org/abs/2404.14804
ID  - 2404.14804
ER  -