ResearchTrend.AI
Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks

Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks

Adam Pacheck
H. Kress-Gazit
ArXivPDFHTML

Papers citing "Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks"

2 / 2 papers shown
Title
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
Zhongqi Wei
Xusheng Luo
Changliu Liu
36
0
0
26 Apr 2025
SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments
SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments
Zachary Ravichandran
Varun Murali
Mariliza Tzes
George J. Pappas
Vijay Kumar
LRM
53
8
0
03 Oct 2024