Zobrazeno 1 - 10
of 73
pro vyhledávání: '"MAUBERT, BASTIEN"'
Publikováno v:
In Artificial Intelligence February 2025 339
Strategy Logic with imperfect information (SLiR) is a very expressive logic designed to express complex properties of strategic abilities in distributed systems. Previous work on SLiR focused on finite systems, and showed that the model-checking prob
Externí odkaz:
http://arxiv.org/abs/2007.15458
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, this problem is undecidable; but we
Externí odkaz:
http://arxiv.org/abs/2003.04730
Autor:
Berthon, Raphaël, Fijalkow, Nathanaël, Filiot, Emmanuel, Guha, Shibashis, Maubert, Bastien, Murano, Aniello, Pinault, Laureline, Pinchinat, Sophie, Rubin, Sasha, Serre, Olivier
We study alternating automata with qualitative semantics over infinite binary trees: alternation means that two opposing players construct a decoration of the input tree called a run, and the qualitative semantics says that a run of the automaton is
Externí odkaz:
http://arxiv.org/abs/2002.03664
Autor:
Maubert, Bastien, Murano, Aniello, Pinchinat, Sophie, Schwarzentruber, François, Stranieri, Silvia
Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games were recently introduced as a way to define classes of games with imperfe
Externí odkaz:
http://arxiv.org/abs/2001.07141
Autor:
Knight, Sophia, Maubert, Bastien
We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One original aspect of our approach is that we do not force strategies to be uniform, i.e. consi
Externí odkaz:
http://arxiv.org/abs/1908.02488
We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an external controller with perfect information interacts with an environme
Externí odkaz:
http://arxiv.org/abs/1905.12422
Autor:
Bouyer, Patricia, Kupferman, Orna, Markey, Nicolas, Maubert, Bastien, Murano, Aniello, Perelli, Giuseppe
Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional temporal logics with modalities that enable the specification of on-goin
Externí odkaz:
http://arxiv.org/abs/1905.11537
Autor:
Berthon, Raphaël, Filiot, Emmanuel, Guha, Shibashis, Maubert, Bastien, Murano, Aniello, Pinault, Laureline, Raskin, Jean-François, Rubin, Sasha
We prove that the theory of Monadic Second-Order logic (MSO) of the infinite binary tree extended with qualitative path-measure quantifier is undecidable. This quantifier says that the set of infinite paths in the tree that satisfies some formula has
Externí odkaz:
http://arxiv.org/abs/1901.04349
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecida
Externí odkaz:
http://arxiv.org/abs/1805.12592