56 citations · 87 across the 18 of their papers we have counts for
1 paper · 1 filter
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1
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 al…