Cover Image

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Taheri, Azizollah, Aksaray, Derya
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Temporal-Logic-Aware Frontier-Based Exploration
by: Taheri, Azizollah, et al.
Published: (2026)

Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints
by: Yüksel, Sadık Bera, et al.
Published: (2026)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)

Specification-Aware Distribution Shaping for Robotics Foundation Models
by: Yüksel, Sadık Bera, et al.
Published: (2026)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)

Physics-informed Neural Mapping and Motion Planning in Unknown Environments
by: Liu, Yuchen, et al.
Published: (2024)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)

Provably Safe Motion Planning Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2026)

Safe Planning in Unknown Environments Using Conformalized Semantic Maps
by: Sundarsingh, David Smith, et al.
Published: (2025)

High-Speed Motion Planning for Aerial Swarms in Unknown and Cluttered Environments
by: Toumieh, Charbel, et al.
Published: (2024)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
by: Lin, Xuan, et al.
Published: (2024)

Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
by: Cherenson, Daniel M., et al.
Published: (2025)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
by: Wei, Zhongqi, et al.
Published: (2025)

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
by: Halder, Patrick, et al.
Published: (2026)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
by: Han, Shaohang, et al.
Published: (2025)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

SPOT: Spatio-Temporal Obstacle-free Trajectory Planning for UAVs in an Unknown Dynamic Environment
by: Srivastava, Astik, et al.
Published: (2026)

Probabilistic Recursively Feasible Motion Planning Under Uncertain Environments
by: Sung, Hyeontae, et al.
Published: (2026)

Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
by: Zhang, Junwen, et al.
Published: (2025)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic
by: Li, Jia, et al.
Published: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
by: Yu, Pian, et al.
Published: (2025)

Semi-Supervised Active Learning for Semantic Segmentation in Unknown Environments Using Informative Path Planning
by: Rückin, Julius, et al.
Published: (2023)

Opti-Acoustic Semantic SLAM with Unknown Objects in Underwater Environments
by: Singh, Kurran, et al.
Published: (2024)

SANDO: Safe Autonomous Trajectory Planning for Dynamic Unknown Environments
by: Kondo, Kota, et al.
Published: (2026)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
by: Liu, Ruijia, et al.
Published: (2025)

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
by: Ren, Jiming, et al.
Published: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

A GP-based Robust Motion Planning Framework for Agile Autonomous Robot Navigation and Recovery in Unknown Environments
by: Mohammad, Nicholas, et al.
Published: (2024)

An Improved Fuzzy Logic Controller for Mobile Robots Navigation in Unknown Environments
by: Ihcene Benaicha, et al.
Published: (2025)

Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding
by: Zhang, Ruipeng, et al.
Published: (2022)

Perception-aware Planning for Quadrotor Flight in Unknown and Feature-limited Environments
by: Yu, Chenxin, et al.
Published: (2025)

HEHA: Hierarchical Planning for Heterogeneous Multi-Robot Exploration of Unknown Environments
by: Yang, Longrui, et al.
Published: (2025)

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
by: Serbinowska, Serena S., et al.
Published: (2022)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)

SafeLand: Safe Autonomous Landing in Unknown Environments with Bayesian Semantic Mapping
by: Gross, Markus, et al.
Published: (2026)

Semantic Belief Behavior Graph: Enabling Autonomous Robot Inspection in Unknown Environments
by: Ginting, Muhammad Fadhil, et al.
Published: (2024)