76 citations · 116 across the 44 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.RO2024
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
Yiannis Kantaros, Jun Wang
This paper addresses the problem of learning optimal control policies for systems with uncertain dynamics and high-level control objectives specified as Linear Temporal Logic (LTL)…
cs.RO2024
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
Samarth Kalluraya, Beichen Zhou, Yiannis Kantaros
In this paper, we consider teams of robots with heterogeneous skills (e.g., sensing and manipulation) tasked with collaborative missions described by Linear Temporal Logic (LTL) fo…
cs.RO2024★ 3 cited
Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction
Jun Wang, Guocheng He, Yiannis Kantaros
This paper addresses task planning problems for language-instructed robot teams. Tasks are expressed in natural language (NL), requiring the robots to apply their capabilities at v…