A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification

Pablo F. Castro, Pedro D'Argenio, Luciano Putruele +1

We introduce a formal notion of masking fault-tolerance between probabilistic transition systems based on a variant of probabilistic bisimulation (named masking simulation). We als…