Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

18 December 2020

Samarth Kalluraya

George J. Pappas

Papers citing "Perception-Based Temporal Logic Planning in Uncertain Semantic Maps"

10 / 10 papers shown

Title
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems Zhongqi Wei Xusheng Luo Changliu Liu 36 0 0 26 Apr 2025
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures Samarth Kalluraya Beichen Zhou Y. Kantaros 30 1 0 22 Oct 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 35 3 0 28 Nov 2023
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives Lening Li Hazhar Rahmani Jie Fu AI4CE 30 2 0 23 Apr 2023
Online Planning of Uncertain MDPs under Temporal Tasks and Safe-Return Constraints Yuyang Zhang Meng Guo 22 0 0 10 Feb 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 27 14 0 18 Jan 2023
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers Disha Kamale S. Haesaert C. Vasile 35 8 0 20 Sep 2022
Multi-robot Mission Planning in Dynamic Semantic Environments Samarth Kalluraya George J. Pappas Y. Kantaros 42 22 0 13 Sep 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 16 11 0 09 May 2022