1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Thom Badings, Wietze Koops, Sebastian Junges +1
We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that le…