Robert Mattmüller

Available identifiers

zbMath Open mattmuller.robertMaRDI QIDQ2211867

List of research outcomes

Publication	Date of Publication	Type
Epistemic Multi-agent Planning Using Monte-Carlo Tree Search	2023-03-24	Paper
Game description language and dynamic epistemic logic compared	2021-11-02	Paper
Evaluation of the moral permissibility of action plans	2020-11-16	Paper
The dynamic logic of policies and contingent planning	2020-02-18	Paper
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity	2019-03-04	Paper
A stubborn set algorithm for optimal planning	2015-12-11	Paper
Combining symbolic representations for solving timed games	2010-09-10	Paper
Selective Approaches for Solving Weak Games	2008-09-04	Paper

Research outcomes over time

This page was built for person: Robert Mattmüller