Online Resynthesis of High-Level Collaborative Tasks for Robots With Changing Capabilities
Amy Fang, Tenny Yin, Hadas Kress-Gazit
Abstract
Given a collaborative high-level task and a team of heterogeneous robots with behaviors to satisfy it, this work focuses on the challenge of automatically adjusting the individual robot behaviors at runtime such that the task is still satisfied. We specifically address scenarios when robots encounter changes to their abilities–either failures or additional actions they can perform. We aim to minimize global teaming reassignments (and as a result, local resynthesis) when robots' capabilities change. The tasks are encoded in LTL <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$^\psi$</tex-math></inline-formula> , an extension of LTL introduced in our prior work. We increase the expressivity of LTL <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$^\psi$</tex-math></inline-formula> by including additional types of constraints on the overall teaming assignment that the user can specify, such as the minimum number of robots required for each assignment. We demonstrate the framework in a simulated warehouse scenario.
BibTeX
@inproceedings{ral2025_onlineresynthesi,
title = {Online Resynthesis of High-Level Collaborative Tasks for Robots With Changing Capabilities},
author = {Amy Fang and Tenny Yin and Hadas Kress-Gazit},
booktitle = {RA-L 2025},
year = {2025}
}