2024
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
CoRR, 2024