Decisiveness has proven to be an elegant concept for denumerable Markov
...
The CLEARSY Safety Platform (CSSP) was designed to ease the development ...
In this paper we consider state reachability in networks composed of man...
We introduce a new class of automata on infinite trees called
alternatin...