Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen

Browse the full CAV paper archive.