30 citations · 30 across the 5 of their papers we have counts for
5 papers
TRIFFID: Autonomous Robotic Aid For Increasing First Responders Efficiency
Jorgen Cani, Panagiotis Koletsis, Konstantinos Foteinos +14
The increasing complexity of natural disaster incidents demands innovative technological solutions to support first responders in their efforts. This paper introduces the TRIFFID s…
Optimal task and motion planning and execution for human-robot multi-agent systems in dynamic environments
Marco Faroni, Alessandro Umbrico, Manuel Beschi +3
Combining symbolic and geometric reasoning in multi-agent systems is a challenging task that involves planning, scheduling, and synchronization problems. Existing works overlooked…
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
Andrea Orlandini, Martin Zimmermann
This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbrücken,…
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer +2
In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temp…
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…