Thorsten Engesser

According to our database, Thorsten Engesser authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Symbolic Sequential Equilibria Solver for Game Theory Explorer.

Moritz Graf, Thorsten Engesser, Bernhard Nebel

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Symbolic Computation of Sequential Equilibria.

Moritz Graf, Thorsten Engesser, Bernhard Nebel

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Towards Epistemic-Doxastic Planning with Observation and Revision.

Thorsten Engesser, Andreas Herzig, Elise Perrotin

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

Epistemic planning towards implicit coordination of multiple agents with distributed knowledge.

Thorsten Engesser

PhD thesis, 2021

Game description language and dynamic epistemic logic compared.

Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher

Artif. Intell., 2021

2020

Token-based Execution Semantics for Multi-Agent Epistemic Planning.

Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Implicit Coordination Using FOND Planning.

Thorsten Engesser, Tim Miller

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.

Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller

J. Artif. Intell. Res., 2019

Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.

Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

The Dynamic Logic of Policies and Contingent Planning.

Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

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

Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.

Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.

Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel

Proceedings of the Ninth Workshop on Methods for Modalities, 2017