Buchumschlag

NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Luo, Licheng, Liang, Kaier, Xia, Yu, Cai, Mingyu
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
von: Luo, Licheng, et al.
Veröffentlicht: (2026)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
von: Liang, Kaier, et al.
Veröffentlicht: (2025)

Bridging Deep Reinforcement Learning and Motion Planning for Model-Free Navigation in Cluttered Environments
von: Luo, Licheng, et al.
Veröffentlicht: (2025)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
von: Liang, Kaier, et al.
Veröffentlicht: (2025)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
von: Cardona, Gustavo A., et al.
Veröffentlicht: (2025)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
von: Sundarsingh, David Smith, et al.
Veröffentlicht: (2025)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
von: Bonin, Lorenzo, et al.
Veröffentlicht: (2026)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
von: Liang, Kaier, et al.
Veröffentlicht: (2023)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

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

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
von: Luo, Xusheng, et al.
Veröffentlicht: (2024)

Deadlock-Free Hybrid RL-MAPF Framework for Zero-Shot Multi-Robot Navigation
von: Wang, Haoyi, et al.
Veröffentlicht: (2025)

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
von: Ping, Yuqi, et al.
Veröffentlicht: (2026)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
von: Wei, Zhongqi, et al.
Veröffentlicht: (2025)

GeoManip: Geometric Constraints as General Interfaces for Robot Manipulation
von: Tang, Weiliang, et al.
Veröffentlicht: (2025)

General Covariant Action Modeling: Constructing Generalized Manifolds via Spatio-Temporal Decoupling
von: Lyu, Huaihai, et al.
Veröffentlicht: (2026)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
von: Xu, Shaojun, et al.
Veröffentlicht: (2024)

Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks
von: Cai, Mingyu, et al.
Veröffentlicht: (2024)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
von: Kantaros, Yiannis, et al.
Veröffentlicht: (2024)

Ask, Reason, Assist: Robot Collaboration via Natural Language and Temporal Logic
von: Choe, Dan BW, et al.
Veröffentlicht: (2025)

Geometric Algebra for Optimal Control with Applications in Manipulation Tasks
von: Löw, Tobias, et al.
Veröffentlicht: (2022)

Learning and Optimizing the Efficacy of Spatio-Temporal Task Allocation under Temporal and Resource Constraints
von: Liu, Jiazhen, et al.
Veröffentlicht: (2026)

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

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
von: Serbinowska, Serena S., et al.
Veröffentlicht: (2022)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
von: Wang, Jun, et al.
Veröffentlicht: (2023)

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning
von: Rabiei, Behrad, et al.
Veröffentlicht: (2025)

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
von: Kamale, Disha, et al.
Veröffentlicht: (2025)

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
von: Taheri, Azizollah, et al.
Veröffentlicht: (2025)

History-Conditioned Spatio-Temporal Visual Token Pruning for Efficient Vision-Language Navigation
von: Wang, Qitong, et al.
Veröffentlicht: (2026)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
von: Ren, Jiming, et al.
Veröffentlicht: (2024)

LTL-Transfer: Skill Transfer for Temporal Task Specification
von: Liu, Jason Xinyu, et al.
Veröffentlicht: (2022)

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

ST-$π$: Structured SpatioTemporal VLA for Robotic Manipulation
von: Ma, Chuanhao, et al.
Veröffentlicht: (2026)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
von: Liu, Wenliang, et al.
Veröffentlicht: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
von: Yu, Pian, et al.
Veröffentlicht: (2025)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
von: Han, Shaohang, et al.
Veröffentlicht: (2025)

Logic Learning from Demonstrations for Multi-step Manipulation Tasks in Dynamic Environments
von: Zhang, Yan, et al.
Veröffentlicht: (2024)

DexH2R: Task-oriented Dexterous Manipulation from Human to Robots
von: Zhao, Shuqi, et al.
Veröffentlicht: (2024)

D-LGP: Dynamic Logic-Geometric Program for Reactive Task and Motion Planning
von: Xue, Teng, et al.
Veröffentlicht: (2023)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
von: Gautam, Saksham, et al.
Veröffentlicht: (2024)