Cooperative Concurrent Games
暂无分享,去创建一个
[1] Metin Uyanik,et al. On the nonemptiness of the α-core of discontinuous games: Transferable and nontransferable utilities , 2015, J. Econ. Theory.
[2] Giuseppe Perelli,et al. Synthesis with rational environments , 2016, Annals of Mathematics and Artificial Intelligence.
[3] P. Chander,et al. Cores of games with positive externalities , 2010 .
[4] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[5] Michael Wooldridge,et al. Iterated Boolean games , 2013, Inf. Comput..
[6] Nicholas R. Jennings,et al. Anytime coalition structure generation in multi-agent systems with positive or negative externalities , 2012, Artif. Intell..
[7] Dana Fisman,et al. Rational Synthesis , 2009, TACAS.
[8] Michael Wooldridge,et al. From model checking to equilibrium checking: Reactive modules for rational verification , 2016, Artif. Intell..
[9] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1999 .
[10] Debraj Ray,et al. Equilibrium Binding Agreements , 1997 .
[11] Pierre Wolper,et al. An automata-theoretic approach to branching-time model checking , 2000, JACM.
[12] Sang-Seung Yi. Stable Coalition Structures with Externalities , 1997 .
[13] Rajeev Alur,et al. Deterministic generators and games for LTL fragments , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[14] Parkash Chander,et al. The gamma-core and coalition formation , 2007, Int. J. Game Theory.
[15] Ariel Rubinstein,et al. A Course in Game Theory , 1995 .
[16] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[17] Aniello Murano,et al. Reasoning About Strategies: On the Model-Checking Problem , 2011, ArXiv.
[18] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[19] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[20] Bianca Rundshagen,et al. A Non-Cooperative Foundation of Core-Stability in Positive Externality Ntu-Coalition Games , 2003 .
[21] Alessio Lomuscio,et al. MCMAS: an open-source model checker for the verification of multi-agent systems , 2017, International Journal on Software Tools for Technology Transfer.
[22] Aniello Murano,et al. Reasoning about Strategies: on the Satisfiability Problem , 2016, Log. Methods Comput. Sci..
[23] Michael Wooldridge,et al. Rational Verification: From Model Checking to Equilibrium Checking , 2016, AAAI.
[24] Romain Brenguier,et al. PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games , 2013, CAV.
[25] Michael Wooldridge,et al. EVE: A Tool for Temporal Equilibrium Analysis , 2018, ATVA.
[26] Michael Wooldridge,et al. Nash Equilibrium and Bisimulation Invariance , 2019, Log. Methods Comput. Sci..
[27] Sarit Kraus,et al. Methods for Task Allocation via Agent Coalition Formation , 1998, Artif. Intell..