Robert Mattmüller
6 papers · 2015–2020 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
computational complexity
(2)
multi-agent system
(2)
ethical judgment
(1)
planning algorithm
(1)
planning task
(1)
classical planning
(1)
symbolic search
(1)
multi-agent path finding
(1)
optimal planning
(1)
plan cost
(1)
dynamic epistemic logic
(1)
action planning
(1)
machine ethics
(1)
action plan
(1)
implicit coordination
(1)
destination uncertainty
(1)
top-k planning
(1)
pspace-complete planning
(1)
game description language
(1)
plan evaluation
(1)
Papers
Symbolic Top-k Planning
AAAI 2020
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract)
IJCAI 2019
Moral Permissibility of Action Plans
AAAI 2019
Game Description Language and Dynamic Epistemic Logic Compared
IJCAI 2018
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning
IJCAI 2016
Delete Relaxations for Planning with State-Dependent Action Costs
IJCAI 2015