![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | AI-2022-Knowledge-based strategies for multi-agent teams playing against Nature.pdf | 2024-08-03 16:31 | 1.7M | |
| ATL-JACM.pdf | 2024-08-03 16:31 | 337K | |
| Augmenting ATL with strategy contexts - François Laroussinie, Nicolas Markey.pdf | 2024-08-03 16:31 | 752K | |
| EUMAS2018-Generalising_the_Dining_Philosophers_Problem.pdf | 2024-08-03 16:31 | 337K | |
| JAAMAS-Combining quantitative and qualitative reasoning in concurrent multi‐player games - Nils Bulling · Valentin Goranko.pdf | 2024-08-03 16:31 | 2.6M | |
| JAAMAS 2020 - Logic-based specification and verification of homogeneous dynamic multi-agent systems.pdf | 2024-08-03 16:31 | 5.7M | |
| Logics for Reasoning About Strategic Abilities in Multi-player Games-published version.pdf | 2024-08-03 16:31 | 961K | |
| REASONING ABOUT STRATEGIES- ON THE SATISFIABILITY PROBLEM⋆ FABIO MOGAVERO1, ANIELLO MURANO2, GIUSEPPE PERELLI1†, AND MOSHE Y. VARDI - 1611.08541.pdf | 2024-08-03 16:31 | 488K | |
| Reasoning About Strategies- On the Model-Checking Problem-1112.6275v2.pdf | 2024-08-03 16:31 | 632K | |
![[DIR]](/icons/folder.gif) | Slides/ | 2024-08-03 16:31 | - | |
| ToCL-2022-The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games.pdf | 2024-08-03 16:31 | 820K | |
|
|---|