TY  - RPRT
TI  - Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
AU  - Thom Badings
AU  - Wietze Koops
AU  - Sebastian Junges
AU  - Nils Jansen
PY  - 2025
UR  - https://arxiv.org/abs/2406.00826
ID  - 2406.00826
ER  -