Sebastian Enqvist

The temporal logic of coalitional goal assignments in concurrent multi-player games

2020 · arXiv (Cornell University)

We introduce and study a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quite expressive, coalitional strategic operator, viz. the coalitional …