Synthesizing coalitions for multi-agent games

DOI10.1007/978-3-319-66845-1_16zbMATH Open1498.68339OpenAlexW2747568078MaRDI QIDQ5045477FDOQ5045477

Authors: Wei Ji, Farn Wang, Peng Wu 

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66845-1_16

Recommendations

• Model-checking iterated games
• Model-checking iterated games
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Quantified coalition logic
• Logics for Qualitative Coalitional Games

Mathematics Subject Classification ID

Cooperative games (91A12) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Cited In (3)

• Model-checking iterated games
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Anytime coalition structure generation in multi-agent systems with positive or negative externalities

This page was built for publication: Synthesizing coalitions for multi-agent games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5045477)