8 citations · 12 across the 8 of their papers we have counts for
1 paper · 1 filter
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…