Thorsten Engesser

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract)

Game Description Language and Dynamic Epistemic Logic Compared