Optimistic Value Iteration

von Hartmanns, Arnd
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Verifying Probabilistic Programs

von Kaminski, Benjamin
Veröffentlicht in QEST (17. : 2020 : Online) Quantitative evaluation of systems (2020)

Generating Functions for Probabilistic Programs

von Klinkenberg, Lutz
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

PrIC3: Property Directed Reachability for MDPs

von Batz, Kevin
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Latticed k-Induction with an Application to Probabilistic Programs

von Batz, Kevin
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)