×
2024
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
[DOI]
Ben Wooding
,
Viacheslav Horbanov
,
Abolfazl Lavaei
CoRR, 2024