Resilient Temporal Logic Planning in the Presence of Robot Failures

Resilient Temporal Logic Planning in the Presence of Robot Failures

9 May 2023

Samarth Kalluraya

George J. Pappas

Papers citing "Resilient Temporal Logic Planning in the Presence of Robot Failures"

8 / 8 papers shown

Title
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees J. Wang David Smith Sundarsingh Jyotirmoy V. Deshmukh Y. Kantaros 26 0 0 22 Apr 2025
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures Samarth Kalluraya Beichen Zhou Y. Kantaros 23 1 0 22 Oct 2024
Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities Amy Fang Tenny Yin H. Kress-Gazit 31 0 0 09 Sep 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 29 18 0 20 Feb 2024
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 43 11 0 11 Oct 2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 32 12 0 03 Oct 2022
Multi-robot Mission Planning in Dynamic Semantic Environments Samarth Kalluraya George J. Pappas Y. Kantaros 34 21 0 13 Sep 2022
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 16 52 0 02 Feb 2019