We consider history-determinism, a restricted form of non-determinism, f...
We explore the notion of history-determinism in the context of timed aut...
Temporal logics for the specification of information-flow properties are...
We study countably infinite stochastic 2-player games with reachability
...
Temporal logics for the specification of information-flow properties are...
We study stochastic games with energy-parity objectives, which combine
q...
The Transience objective is not to visit any state infinitely often. Whi...
We study countably infinite MDPs with parity objectives. Unlike in finit...
Infinite-duration games with disturbances extend the classical framework...
Bertrand et al. [1] (LMCS 2019) describe two-player zero-sum games in wh...
Timed basic parallel processes (TBPP) extend communication-free Petri ne...
A timed network consists of an arbitrary number of initially identical
1...