Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots

Document Details

Document Type
Pub Defense Publication
Publication Date
May 23, 2022
Source ID
10.1109/icra46639.2022.9812045

Entities

People

  • Amy Fang
  • Hadas Kress-Gazit

Organizations

  • Cornell University
  • Defense Advanced Research Projects Agency

Tags

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • Autonomy
  • Autonomy - Autonomous System Control