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

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)

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

Cited In (4)

• Model-checking iterated games
• 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)