@misc{indiciaed5fdb22ccb03,
  title = {Quantifying Masking Fault-Tolerance via Fair Stochastic Games},
  author = {Pablo F. Castro and Pedro R. D'Argenio and Ramiro Demasi and Luciano Putruele},
  year = {2023},
  doi = {10.4204/eptcs.387.10},
  url = {https://arxiv.org/abs/2309.07309},
  note = {Source identifier: 2309.07309}
}