research
∙
09/13/2023
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
We introduce a formal notion of masking fault-tolerance between probabil...
share
research
∙
07/05/2022
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
We introduce a formal notion of masking fault-tolerance between probabil...
research
∙
12/18/2021
Playing Against Fair Adversaries in Stochastic Games with Total Rewards
We investigate zero-sum turn-based two-player stochastic games in which ...
research
∙
07/22/2019
An Algebraic Approach for Action Based Default Reasoning
Often, we assume that an action is permitted simply because it is not ex...
research
∙
11/13/2018