4 papers
Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities
Amy Fang, Tenny Yin, Hadas Kress-Gazit
Given a collaborative high-level task and a team of heterogeneous robots and behaviors to satisfy it, this work focuses on the challenge of automatically, at runtime, adjusting the…
Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams
Amy Fang, Tenny Yin, Jiawei Lin +1
We propose a control synthesis framework for a heterogeneous multi-robot system to satisfy collaborative tasks, where actions may take varying duration of time to complete. We enco…
High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents
Amy Fang, Hadas Kress-Gazit
We propose a new multi-agent task grammar to encode collaborative tasks for a team of heterogeneous agents that can have overlapping capabilities. The grammar allows users to speci…
Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots
Amy Fang, Hadas Kress-Gazit
Given a heterogeneous group of robots executing a complex task represented in Linear Temporal Logic, and a new set of tasks for the group, we define the task update problem and pro…