Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

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…