The following pages link to Thorsten Engesser (Q2238671):
Displayed 3 items.
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- The dynamic logic of policies and contingent planning (Q2296752) (← links)
- Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Q3120432) (← links)