Synthesizing Coalitions for Multi-agent Games

DOI10.1007/978-3-319-66845-1_16zbMath1498.68339OpenAlexW2747568078MaRDI QIDQ5045477

Peng Wu, Farn Wang, Wei Ji

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) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

This page was built for publication: Synthesizing Coalitions for Multi-agent Games