Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Reghem, Gaspard"'
Autor:
Reghem, Gaspard, van Glabbeek, Rob
This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs. Multiple equivalent definitions are procured, along with a modal characterisation and a proof of its congruence property for a standard process algebra wi
Externí odkaz:
http://arxiv.org/abs/2408.10117
In this paper, we deepen the study of two-player Stackelberg games played on graphs in which Player $0$ announces a strategy and Player $1$, having several objectives, responds rationally by following plays providing him Pareto-optimal payoffs given
Externí odkaz:
http://arxiv.org/abs/2308.09443