Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games
T Meggendorfer, M Weininger - International Conference on Computer …, 2024 - Springer
We present version 2.0 of the Partial Exploration Tool (Pet), a tool for verification of
probabilistic systems. We extend the previous version by adding support for stochastic …
probabilistic systems. We extend the previous version by adding support for stochastic …
Learning Algorithms for Verification of Markov Decision Processes
We present a general framework for applying learning algorithms and heuristical guidance
to the verification of Markov decision processes (MDPs), based on the ideas of Br\'azdil, T. et …
to the verification of Markov decision processes (MDPs), based on the ideas of Br\'azdil, T. et …
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
Non-Markovian models have great expressive power, at the cost of complex analysis of the
stochastic process. The method of Stochastic State Classes (SSCs) derives closed-form …
stochastic process. The method of Stochastic State Classes (SSCs) derives closed-form …