Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Condurache, Rodica"'
Publikováno v:
EPTCS 362, 2022, pp. 3-14
Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent systems in which agents are interacting in a graph arena in a turn-ba
Externí odkaz:
http://arxiv.org/abs/2207.09707
Autor:
Belardinelli, Francesco, Condurache, Rodica, Dima, Catalin, Jamroga, Wojciech, Knapik, Michal
We propose a notion of alternating bisimulation for strategic abilities under imperfect information. The bisimulation preserves formulas of ATL$^*$ for both the {\em objective} and {\em subjective} variants of the state-based semantics with imperfect
Externí odkaz:
http://arxiv.org/abs/2203.13692
In this paper, we investigate the rational synthesis problem for concurrent game structure for a variety of objectives ranging from reachability to Muller condition. We propose a new algorithm that establishes the decidability of the non cooperative
Externí odkaz:
http://arxiv.org/abs/1707.06936
Autor:
Belardinelli, Francesco, Condurache, Rodica, Dima, Cătălin, Jamroga, Wojciech, Knapik, Michal
Publikováno v:
In Information and Computation February 2021 276
In this paper, we investigate the rational synthesis problem for concurrent game structures for a variety of objectives ranging from reachability to Muller condition. We propose a new algorithm that establishes the decidability of the non cooperative
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bd03cdaad8b12f7bdadaaa170c91c309
Autor:
Belardinelli, Francesco, Condurache, Rodica, Catalin Dima, Jamroga, Wojciech, Jones, Andrew V.
Publikováno v:
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295
11e Journées d'Intelligence Artificielle Fondamentale
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
BASE-Bielefeld Academic Search Engine
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295
11e Journées d'Intelligence Artificielle Fondamentale
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
BASE-Bielefeld Academic Search Engine
International audience; no abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17eb1d264d424c47a811043d2d02fb74
https://hal.science/hal-01699927
https://hal.science/hal-01699927
We study the computational complexity of the cooperative and non-cooperative rational synthesis problems, as introduced by Kupferman, Vardi and co-authors. We provide tight results for most of the classical omega-regular objectives, and show how to s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99508dedf7e98fc45dd77e5647c71bc2
http://hdl.handle.net/11391/1391917
http://hdl.handle.net/11391/1391917