Copertina

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bergeron, Taylor, Serlin, Zachary, Leahy, Kevin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
di: Liu, Ruijia, et al.
Pubblicazione: (2025)

Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
di: Chatrola, Jeel, et al.
Pubblicazione: (2025)

LongComp: Long-Tail Compositional Zero-Shot Generalization for Robust Trajectory Prediction
di: Stoler, Benjamin, et al.
Pubblicazione: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
di: Liu, Ruijia, et al.
Pubblicazione: (2026)

GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning
di: Hou, Ancheng, et al.
Pubblicazione: (2026)

LTL-Transfer: Skill Transfer for Temporal Task Specification
di: Liu, Jason Xinyu, et al.
Pubblicazione: (2022)

Perception Stitching: Zero-Shot Perception Encoder Transfer for Visuomotor Robot Policies
di: Jian, Pingcheng, et al.
Pubblicazione: (2024)

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

Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
di: Knoedler, Luzia, et al.
Pubblicazione: (2024)

Robust Multi-Agent Target Tracking in Intermittent Communication Environments via Analytical Belief Merging
di: Abdelnaby, Mohamed, et al.
Pubblicazione: (2026)

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

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

Multi-Floor Zero-Shot Object Navigation Policy
di: Zhang, Lingfeng, et al.
Pubblicazione: (2024)

Signal Temporal Logic Planning with Time-Varying Robustness
di: Yuan, Yating, et al.
Pubblicazione: (2024)

Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models
di: Mavrogiannis, Angelos, et al.
Pubblicazione: (2023)

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
di: Zhao, Jianing, et al.
Pubblicazione: (2022)

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

From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy
di: Noorani, Erfaun, et al.
Pubblicazione: (2025)

Signal Temporal Logic Compliant Co-design of Planning and Control
di: Juvvi, Manas Sashank, et al.
Pubblicazione: (2025)

SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations
di: Crowley, Peter, et al.
Pubblicazione: (2025)

Mirage: Cross-Embodiment Zero-Shot Policy Transfer with Cross-Painting
di: Chen, Lawrence Yunliang, et al.
Pubblicazione: (2024)

FlowPlan: Zero-Shot Task Planning with LLM Flow Engineering for Robotic Instruction Following
di: Lin, Zijun, et al.
Pubblicazione: (2025)

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

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
di: Taheri, Azizollah, et al.
Pubblicazione: (2025)

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

Fast and Adaptive Multi-agent Planning under Collaborative Temporal Logic Tasks via Poset Products
di: Liu, Zesen, et al.
Pubblicazione: (2023)

Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
di: Leahy, Kevin, et al.
Pubblicazione: (2024)

EmboAlign: Aligning Video Generation with Compositional Constraints for Zero-Shot Manipulation
di: Zhang, Gehao, et al.
Pubblicazione: (2026)

PRISM: Complete Online Decentralized Multi-Agent Pathfinding with Rapid Information Sharing using Motion Constraints
di: Lee, Hannah, et al.
Pubblicazione: (2025)

Conformal Temporal Logic Planning using Large Language Models
di: Wang, Jun, et al.
Pubblicazione: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
di: Ye, Bowen, et al.
Pubblicazione: (2025)

PEEK: Guiding and Minimal Image Representations for Zero-Shot Generalization of Robot Manipulation Policies
di: Zhang, Jesse, et al.
Pubblicazione: (2025)

A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
di: Liu, Peiran, et al.
Pubblicazione: (2024)

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
di: Kalluraya, Samarth, et al.
Pubblicazione: (2024)

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning
di: Rabiei, Behrad, et al.
Pubblicazione: (2025)

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

Wonderful Team: Zero-Shot Physical Task Planning with Visual LLMs
di: Wang, Zidan, et al.
Pubblicazione: (2024)

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

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
di: Zhang, Songyuan, et al.
Pubblicazione: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
di: Nawaz, Farhad, et al.
Pubblicazione: (2024)