Author:
Publication: Artificial Intelligence
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
DEL-based epistemic planning: Decidability and complexity