When PGD fails, is your model safe? I tested it vs. Marabou SMT on traffic signs

This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.