Sydney Katz

Person

Contributor to advancements in verifying neural network controllers using Ruplex and Marabu.

Mentioned in 1 video