We introduce a formal notion of masking fault-tolerance between probabil...
We investigate zero-sum turn-based two-player stochastic games in which ...
Delay-Tolerant Networks (DTN) enable store-carry-and-forward data
transm...
Dynamic Fault Trees (DFT) are widely adopted in industry to assess the
d...
Fault Tree Analysis (FTA) is a prominent technique in industrial and
sci...
In this paper we introduce a notion of fault-tolerance distance between
...
In a previous work, we introduced an input/output variant of stochastic
...
This paper provides an informal discussion of the formal aspects of soft...
Stochastic automata are a formal compositional model for concurrent
stoc...