We found the following 3 published projects which all share the keyword robustness in their description.

Title
Efficient Robustness Analysis of Deep Neural Networks
Leveraging exact floating-point Linear Programming solvers for Satisfiability Modulo Theories
Trade Cost of Brexit Analysis