NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Luo, Licheng, Liang, Kaier, Xia, Yu, Cai, Mingyu |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| 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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
von: Sewlia, Mayank, et al.
Veröffentlicht: (2023)
ST-$π$: Structured SpatioTemporal VLA for Robotic Manipulation
von: Ma, Chuanhao, et al.
Veröffentlicht: (2026)
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)
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)
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)
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)
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)
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)
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)
von: Gautam, Saksham, et al.
Veröffentlicht: (2024)
Ä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)