1 – 1 of 1
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Badings, Thom ; Koops, Wietze LU
; Junges, Sebastian
and Jansen, Nils
(2025)
37th International Conference on Computer Aided Verification, CAV 2025
In Lecture Notes in Computer Science
15932 LNCS.
p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding