Multi-objective Optimization of Long-run Average and Total Rewards

von Quatmann, Tim
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Under-Approximating Expected Total Rewards in POMDPs

von Bork, Alexander
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

A Practitioner’s Guide to MDP Model Checking Algorithms

von Hartmanns, Arnd
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Verification of Indefinite-Horizon POMDPs

von Bork, Alexander
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Simple Strategies in Multi-Objective MDPs

von Delgrange, Florent
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

von Mertens, Hannah
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

von Budde, Carlos E.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)