Search
Now showing items 1-2 of 2
MaskD : a tool for measuring masking fault-tolerance
(2022-03-30)
We present MaskD, an automated tool designed to measure the level of fault-tolerance provided by software components. The tool focuses on measuring masking fault-tolerance, that is, the kind of fault-tolerance that allows ...
Playing against fair adversaries in stochastic games with total rewards
(2022)
We investigate zero-sum turn-based two-player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aims at minimizing it. We focus on games in ...