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 …
Unknown Biases and Timing Constraints in Timed Automata
D Haase, JP Katoen - arXiv preprint arXiv:2403.02210, 2024 - arxiv.org
Timed automata are the formal model for real-time systems. Extensions with discrete
probabilistic branching have been considered in the literature and successfully applied …
probabilistic branching have been considered in the literature and successfully applied …
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
Markov Decision Processes (MDPs) are a classical model for decision making in the
presence of uncertainty. Often they are viewed as state transformers with planning …
presence of uncertainty. Often they are viewed as state transformers with planning …
Learning to the Rescue of Verification and Synthesis for Cyber-Physical Systems
K Grover - convey.in.tum.de
Learning to the Rescue of Verification and Synthesis for Cyber-Physical Systems Page 1
Learning to the Rescue of Verification and Synthesis for Cyber-Physical Systems Kush Grover …
Learning to the Rescue of Verification and Synthesis for Cyber-Physical Systems Kush Grover …