PET — A Partial Exploration Tool for Probabilistic Verification

von Meggendorfer, Tobias
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Correct Approximation of Stationary Distributions

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

Verification of discrete-time markov decision processes

von Meggendorfer, Tobias
Veröffentlicht 2021

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth

von Chatterjee, Krishnendu
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (34. : 2023 : Florenz; Online) Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) ; Volume 6 of 7 (2023)

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth

von Chatterjee, Krishnendu
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (34. : 2023 : Florenz; Online) Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) ; Volume 7 of 7 (2023)

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

von Chatterjee, Krishnendu
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)