research
∙
03/27/2023
Optimal task and motion planning and execution for human-robot multi-agent systems in dynamic environments
Combining symbolic and geometric reasoning in multi-agent systems is a c...
share
research
∙
09/07/2018
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the Ninth International Symposiu...
research
∙
07/12/2018
A game-theoretic approach to timeline-based planning with uncertainty
In timeline-based planning, domains are described as sets of independent...
research
∙
09/06/2017