Quantifying Masking Fault-Tolerance via Fair Stochastic Games

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

This talk corresponds to our article

Quantifying Masking Fault-Tolerance via Fair Stochastic Games.
Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele.
In Proceedings of EXPRESS/SOS 2023, EPTCS 387, pp. 132-148.

which I presented in the combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, that took place in the joint event CONFEST 2023 in Antwerp, Belgium, the 18th of September, 2023.

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054