37 citations · 57 across the 8 of their papers we have counts for
1 paper · 2 filters
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov +4
Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine…