@misc{indiciae911659898e80,
  title = {A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification},
  author = {Pablo F. Castro and Pedro D'Argenio and Luciano Putruele and Ramiro Demasi},
  year = {2022},
  url = {https://arxiv.org/abs/2207.02045},
  note = {Source identifier: 2207.02045}
}