PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems.

Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei

Browse the full ICTAC paper archive.