Concurrent Semantic Search and Mission Execution for LTL Missions in Unknown Environments

arXiv:2609.39153 · cs.RO · Submitted 2026-09-30 · Read on arXiv

cs.RO

Submitted: 2026-09-30

Updated: 2026-09-30

Terminology

• Deterministic Finite Automaton — 5× in this paper
• Ablation — 3× in this paper · explained in 1 episode
• Benchmark — 3× in this paper · explained in 2 episodes
• Abstraction — 2× in this paper · explained in 1 episode
• Foundation Model — 2× in this paper · explained in 3 episodes
• Foundation Models — 2× in this paper · explained in 7 episodes
• Grounding — 2× in this paper · explained in 3 episodes
• Task Planning — 2× in this paper · explained in 2 episodes
• Vision Language Model — 2× in this paper
• Adaptive Planning — 1× in this paper · explained in 1 episode
• Failure Modes — 1× in this paper · explained in 3 episodes
• Formal Methods — 1× in this paper · explained in 3 episodes
• Graph Construction — 1× in this paper · explained in 3 episodes
• Linear Temporal Logic (LTL) — 1× in this paper · explained in 4 episodes
• Semantic Understanding — 1× in this paper · explained in 2 episodes
• Time To Satisfaction — 1× in this paper
• Vision-Language Models (VLMs) — 1× in this paper · explained in 6 episodes

Sources

• Online Grounding of Symbolic Planning Domains in Unknown Environments
• Temporal-Logic-Aware Frontier-Based Exploration
• Multi-robot Mission Planning in Dynamic Semantic Environments
• Integrated Exploration and Sequential Manipulation on Scene Graph with LLM-based Situated Replanning

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies
• Fine-tuning is Not Enough: A Parallel Framework for Collaborative Imitation and Reinforcement Learning in End-to-end Autonomous Driving