Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
This paper considers the problem of finding strategies that satisfy a mixture of sure and
threshold objectives in Markov decision processes. We focus on a single ω-regular objective …
threshold objectives in Markov decision processes. We focus on a single ω-regular objective …
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
We introduce a formal notion of masking fault-tolerance between probabilistic transition
systems using stochastic games. These games are inspired in bisimulation games, but they …
systems using stochastic games. These games are inspired in bisimulation games, but they …
Parity and Multiple Reachability Objectives
R Berthon, JP Katoen, T Winkler - Reachability Problems: 18th …, 2024 - books.google.com
This paper considers the problem of finding strategies that satisfy a mixture of sure and
threshold objectives in Markov decision processes. We focus on a single w-regular objective …
threshold objectives in Markov decision processes. We focus on a single w-regular objective …
Tolerange: Quantifying Fault Masking in Stochastic Systems
We present Tolerange, an open source tool tailored for measuring the masking fault-
tolerance provided by stochastic systems. Tolerange takes as input a nominal model of a …
tolerance provided by stochastic systems. Tolerange takes as input a nominal model of a …
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
PF Castro, P D'Argenio, L Putruele… - arXiv preprint arXiv …, 2022 - arxiv.org
We introduce a formal notion of masking fault-tolerance between probabilistic transition
systems based on a variant of probabilistic bisimulation (named masking simulation). We …
systems based on a variant of probabilistic bisimulation (named masking simulation). We …
[引用][C] Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria
JI Feltes - 2024