Playing Against Fair Adversaries in Stochastic Games with Total Rewards

von Castro, Pablo F.
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

MaskD: A Tool for Measuring Masking Fault-Tolerance

von Putruele, Luciano
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)