Learning Robustness of Nonlinear Systems Using Neural Networks

Manish Goyal Parasara Sridhar Duggirala

Robust Compiler Optimizations for Floating-Point Programs

Yijia Gu and Thomas Wahl

Comparison of Two Approaches for Robustness Verication of Deep Neural Networks

Meghan Stuart, Parasara Sridhar Duggirala

Certified Control for Self-Driving Cars

Daniel Jackson, Jonathan DeCastro, Soonho Kong, Dimitrios Koutentakis, Angela Leong Feng Ping, Armando Solar-Lezama, Mike Wang, Xin Zhang