TY  - RPRT
TI  - Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games
AU  - Dimitar P. Guelev
PY  - 2020
UR  - https://arxiv.org/abs/2011.03724
ID  - 2011.03724
ER  -