Novel robotic applications are no longer based on single robots. They rather require teams of robots that collaborate and interact to perform a desired mission. They must also be used in contexts in which only partial knowledge about the robots and their environment is present. To ensure mission achievement, robotic applications require the usage of planners that compute the set of actions the robots must perform. Current planning techniques are often based on centralized solutions and hence they do not scale when teams of robots are considered, they consider rather simple missions, and they do not work in partially known environments. To address these challenges, we present a planning solution that decomposes the team of robots into subclasses, considers complex high-level missions given in temporal logic, and at the same time works when only partial knowledge of the environment is available.
[1]
Marsha Chechik,et al.
Supporting Verification-Driven Incremental Distributed Design of Components
,
2018,
FASE.
[2]
Carlo Ghezzi,et al.
COVER: Change-based Goal Verifier and Reasoner
,
2017,
REFSQ Workshops.
[3]
Carlo Ghezzi,et al.
Integrating Goal Model Analysis with Iterative Design
,
2017,
REFSQ.
[4]
Dimos V. Dimarogonas,et al.
Multi-agent planning under local LTL specifications and event-based synchronization
,
2016,
Autom..
[5]
Sebastian Thrun,et al.
Planning under Uncertainty for Reliable Health Care Robotics
,
2003,
FSR.
[6]
Carlo Ghezzi,et al.
From Model Checking to a Temporal Proof for Partial Models
,
2017,
SEFM.
[7]
Carlo Ghezzi,et al.
Dealing with Incompleteness in Automata-Based Model Checking
,
2016,
FM.