| No. |
Title |
Author |
Year |
| 1 |
Dependency Matrices for Multiplayer Strategic Dependencies |
Bellier, Dylan et al. |
2022 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Gamper, Johann et al. |
2019 |
| 3 |
LIPIcs, Volume 147, TIME'19, Complete Volume |
Gamper, Johann et al. |
2019 |
| 4 |
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information |
Fijalkow, Nathanaël et al. |
2013 |
| 5 |
Jumping Automata for Uniform Strategies |
Maubert, Bastien et al. |
2013 |
| 6 |
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181) |
Lomuscio, Alessio R. et al. |
2013 |
| 7 |
On Timed Alternating Simulation for Concurrent Timed Games |
Bozzelli, Laura et al. |
2009 |
