activity
20172025
most citedOptimal task and motion planning and execution for human-robot multi-agent systems in dynamic environments

30 citations · 30 across the 5 of their papers we have counts for

collaborators
Showing cs.GTShow all

1 paper · 1 filter

cs.GT2017

Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification

Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro

This volume contains the proceedings of the Eighth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2017). The symposium took place in Roma, Italy…