57 citations · 59 across the 6 of their papers we have counts for
1 paper · 1 filter
Colin Kessler, Ekaterina Komendantskaya, Marco Casadio +5
As machine learning is increasingly deployed in autonomous systems, verification of neural network controllers is becoming an active research domain. Existing tools and annual veri…