Image de couverture de livre

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ye, Bowen, Hou, Ancheng, Huang, Junyue, Liu, Ruijia, Yin, Xiang
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
par: Liu, Ruijia, et autres
Publié: (2025)

GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning
par: Hou, Ancheng, et autres
Publié: (2026)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
par: Liu, Ruijia, et autres
Publié: (2026)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
par: Liu, Ruijia, et autres
Publié: (2025)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
par: Ye, Bowen, et autres
Publié: (2026)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
par: Ye, Bowen, et autres
Publié: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
par: Chen, Yu, et autres
Publié: (2026)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
par: Liu, Ruijia, et autres
Publié: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
par: Heyninck, Jesse, et autres
Publié: (2023)

Semantic-Inductive Attribute Selection for Zero-Shot Learning
par: Herrera-Aranda, Juan Jose, et autres
Publié: (2025)

Language-Driven Visual Consensus for Zero-Shot Semantic Segmentation
par: Zhang, Zicheng, et autres
Publié: (2024)

Semantic Surgery: Zero-Shot Concept Erasure in Diffusion Models
par: Xiong, Lexiang, et autres
Publié: (2025)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
par: Aguado, Felicidad, et autres
Publié: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
par: Zhao, Jianing, et autres
Publié: (2025)

SLOW: Strategic Logical-inference Open Workspace for Cognitive Adaptation in AI Tutoring
par: Wei, Yuang, et autres
Publié: (2026)

Zero-Shot Cellular Trajectory Map Matching
par: Shi, Weijie, et autres
Publié: (2025)

Fly0: Decoupling Semantic Grounding from Geometric Planning for Zero-Shot Aerial Navigation
par: Xu, Zhenxing, et autres
Publié: (2026)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
par: Guo, Zijian, et autres
Publié: (2025)

Explicit Logic Channel for Validation and Enhancement of MLLMs on Zero-Shot Tasks
par: Leong, Mei Chee, et autres
Publié: (2026)

Zero-Shot Temporal Interaction Localization for Egocentric Videos
par: Zhang, Erhang, et autres
Publié: (2025)

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
par: Ruiz, Ana María Gómez, et autres
Publié: (2026)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
par: Mao, Zhenjiang, et autres
Publié: (2025)

Spatio-Temporal Context Prompting for Zero-Shot Action Detection
par: Huang, Wei-Jhe, et autres
Publié: (2024)

A Research on Business Process Optimisation Model Integrating AI and Big Data Analytics
par: Liao, Di, et autres
Publié: (2025)

Interpretable Classification via a Rule Network with Selective Logical Operators
par: Wei, Bowen, et autres
Publié: (2024)

OTSeg: Multi-prompt Sinkhorn Attention for Zero-Shot Semantic Segmentation
par: Kim, Kwanyoung, et autres
Publié: (2024)

Mapping representations in Reinforcement Learning via Semantic Alignment for Zero-Shot Stitching
par: Ricciardi, Antonio Pio, et autres
Publié: (2025)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
par: Saveri, Gaia, et autres
Publié: (2024)

MicroNAS: Zero-Shot Neural Architecture Search for MCUs
par: Qiao, Ye, et autres
Publié: (2024)

Reasoning with Inconsistent Possibilistic Description Logics Ontologieswith Disjunctive Assertions
par: Sergio Alejandro Gómez
Publié: (2015)

Diverse Planning with Simulators via Linear Temporal Logic
par: Abdelwahed, Mustafa F., et autres
Publié: (2025)

Conformal Temporal Logic Planning using Large Language Models
par: Wang, Jun, et autres
Publié: (2023)

Decoupling Endpoint and Semantic Transition Learning for Zero-Shot Composed Image Retrieval
par: Liu, Mingyu, et autres
Publié: (2026)

Frog Soup: Zero-Shot, In-Context, and Sample-Efficient Frogger Agents
par: Li, Xiang, et autres
Publié: (2025)

Wonderful Team: Zero-Shot Physical Task Planning with Visual LLMs
par: Wang, Zidan, et autres
Publié: (2024)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
par: Luo, Xusheng, et autres
Publié: (2023)

Zero-Shot Robustification of Zero-Shot Models
par: Adila, Dyah, et autres
Publié: (2023)

Long-horizon Embodied Planning with Implicit Logical Inference and Hallucination Mitigation
par: Liu, Siyuan, et autres
Publié: (2024)

CLAMS: A System for Zero-Shot Model Selection for Clustering
par: Singh, Prabhant, et autres
Publié: (2024)

LLM-RecG: A Semantic Bias-Aware Framework for Zero-Shot Sequential Recommendation
par: Li, Yunzhe, et autres
Publié: (2025)