4 papers · 1 filter
Making Infeasible Tasks Feasible: Planning to Reconfigure Disconnected 3D Environments with Movable Objects
Samarth Kalluraya, Yiannis Kantaros
Several planners have been developed to compute dynamically feasible, collision-free robot paths from an initial to a goal configuration. A key assumption in these works is that th…
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…
Resilient Temporal Logic Planning in the Presence of Robot Failures
Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
Several task and motion planning algorithms have been proposed recently to design paths for mobile robot teams with collaborative high-level missions specified using formal languag…
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives
Jun Wang, Samarth Kalluraya, Yiannis Kantaros
This paper presents a new approach to design verified compositions of Neural Network (NN) controllers for autonomous systems with tasks captured by Linear Temporal Logic (LTL) form…