Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks

11 October 2022

Papers citing "Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks"

4 / 4 papers shown

Title
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures Samarth Kalluraya Beichen Zhou Y. Kantaros 28 1 0 22 Oct 2024
Reward Machines for Deep RL in Noisy and Uncertain Environments Andrew C. Li Zizhao Chen Toryn Q. Klassen Pashootan Vaezipoor Rodrigo Toro Icarte Sheila A. McIlraith 48 6 0 31 May 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
Resilient Temporal Logic Planning in the Presence of Robot Failures Samarth Kalluraya George J. Pappas Y. Kantaros 32 11 0 09 May 2023