TY  - RPRT
TI  - A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
AU  - Pablo F. Castro
AU  - Pedro D'Argenio
AU  - Luciano Putruele
AU  - Ramiro Demasi
PY  - 2022
UR  - https://arxiv.org/abs/2207.02045
ID  - 2207.02045
ER  -