| No. |
Title |
Author |
Year |
| 1 |
Giving Instructions in Linear Temporal Logic |
Gutierrez, Julian et al. |
2022 |
| 2 |
The Logic of Rational Agency (Dagstuhl Seminar 02041) |
van der Hoek, Wiebe et al. |
2021 |
| 3 |
Equilibrium Design for Concurrent Games |
Gutierrez, Julian et al. |
2019 |
| 4 |
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) |
Chaudhuri, Swarat et al. |
2017 |
| 5 |
Nash Equilibrium and Bisimulation Invariance |
Gutierrez, Julian et al. |
2017 |
| 6 |
Expresiveness and Complexity Results for Strategic Reasoning |
Gutierrez, Julian et al. |
2015 |
| 7 |
Robust Normative Systems |
Agotnes, Thomas et al. |
2009 |
| 8 |
On the Logic of Normative Systems |
Ågotnes, Thomas et al. |
2007 |
