Formal Safety and Robustness Verification of Nonlinear Vehicle Systems Under Uncertainty Using Sum-of-Squares Optimization.

Jannis Erz, Simon Burton, Eric Sax

Browse the full SMC paper archive.