PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems. - Ben Wooding; Viacheslav Horbanov; Abolfazl Lavaei (CoRR, 2024)

PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems. - Ben Wooding; Viacheslav Horbanov; Abolfazl Lavaei (ICCPS, 2025)