Cooperative concurrent games
From MaRDI portal
Publication:2680769
DOI10.1016/j.artint.2022.103806OpenAlexW2945040500MaRDI QIDQ2680769
Michael Wooldridge, Szymon Kowara, Sarit Kraus, Julian Gutierrez, Thomas Steeples
Publication date: 4 January 2023
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2022.103806
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis with rational environments
- Acceptable points in games of perfect information
- The gamma-core and coalition formation
- Rational bargaining in games with coalitional externalities
- On the nonemptiness of the \(\alpha\)-core of discontinuous games: transferable and nontransferable utilities
- Coalition-proof Nash equilibria. I: Concepts
- Coalition-proof Nash equilibria. II: Applications
- Positional strategies for mean payoff games
- A characterization of the minimum cycle mean in a digraph
- Methods for task allocation via agent coalition formation
- The complexity of mean payoff games on graphs
- Equilibrium binding agreements
- Stable coalition structures with externalities
- Pareto curves of multidimensional mean-payoff games
- Anytime coalition structure generation in multi-agent systems with positive or negative externalities
- The complexity of multi-mean-payoff and multi-energy games
- Iterated Boolean games
- From model checking to equilibrium checking: reactive modules for rational verification
- Reasoning About Strategies
- The Complexity of Nash Equilibria in Stochastic Multiplayer Games
- Alternating-time temporal logic
- Rational Synthesis
- Half-Positional Determinacy of Infinite Games
- “Sometimes” and “not never” revisited
- Algebraic laws for nondeterminism and concurrency
- The complexity of propositional linear temporal logics
- Formal verification of parallel programs
- Deterministic generators and games for Ltl fragments
- An automata-theoretic approach to branching-time model checking
- Game Theory
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Cooperative concurrent games
