:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ye, Bowen, Hou, Ancheng, Huang, Junyue, Liu, Ruijia, Yin, Xiang
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2605.01222
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

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

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

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, et al.
Published: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
by: Heyninck, Jesse, et al.
Published: (2023)

Language-Driven Visual Consensus for Zero-Shot Semantic Segmentation
by: Zhang, Zicheng, et al.
Published: (2024)

Semantic-Inductive Attribute Selection for Zero-Shot Learning
by: Herrera-Aranda, Juan Jose, et al.
Published: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)

Semantic Surgery: Zero-Shot Concept Erasure in Diffusion Models
by: Xiong, Lexiang, et al.
Published: (2025)

SLOW: Strategic Logical-inference Open Workspace for Cognitive Adaptation in AI Tutoring
by: Wei, Yuang, et al.
Published: (2026)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)

Zero-Shot Temporal Interaction Localization for Egocentric Videos
by: Zhang, Erhang, et al.
Published: (2025)

Zero-Shot Cellular Trajectory Map Matching
by: Shi, Weijie, et al.
Published: (2025)

Fly0: Decoupling Semantic Grounding from Geometric Planning for Zero-Shot Aerial Navigation
by: Xu, Zhenxing, et al.
Published: (2026)

Explicit Logic Channel for Validation and Enhancement of MLLMs on Zero-Shot Tasks
by: Leong, Mei Chee, et al.
Published: (2026)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
by: Guo, Zijian, et al.
Published: (2025)

A Research on Business Process Optimisation Model Integrating AI and Big Data Analytics
by: Liao, Di, et al.
Published: (2025)

Reasoning with Inconsistent Possibilistic Description Logics Ontologieswith Disjunctive Assertions
by: Sergio Alejandro Gómez
Published: (2015)

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
by: Ruiz, Ana María Gómez, et al.
Published: (2026)

Spatio-Temporal Context Prompting for Zero-Shot Action Detection
by: Huang, Wei-Jhe, et al.
Published: (2024)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)

OTSeg: Multi-prompt Sinkhorn Attention for Zero-Shot Semantic Segmentation
by: Kim, Kwanyoung, et al.
Published: (2024)

Interpretable Classification via a Rule Network with Selective Logical Operators
by: Wei, Bowen, et al.
Published: (2024)

Mapping representations in Reinforcement Learning via Semantic Alignment for Zero-Shot Stitching
by: Ricciardi, Antonio Pio, et al.
Published: (2025)

MicroNAS: Zero-Shot Neural Architecture Search for MCUs
by: Qiao, Ye, et al.
Published: (2024)

Diverse Planning with Simulators via Linear Temporal Logic
by: Abdelwahed, Mustafa F., et al.
Published: (2025)

Decoupling Endpoint and Semantic Transition Learning for Zero-Shot Composed Image Retrieval
by: Liu, Mingyu, et al.
Published: (2026)

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

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
by: Saveri, Gaia, et al.
Published: (2024)

Frog Soup: Zero-Shot, In-Context, and Sample-Efficient Frogger Agents
by: Li, Xiang, et al.
Published: (2025)

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

Zero-Shot Robustification of Zero-Shot Models
by: Adila, Dyah, et al.
Published: (2023)

Long-horizon Embodied Planning with Implicit Logical Inference and Hallucination Mitigation
by: Liu, Siyuan, et al.
Published: (2024)

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

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

CLAMS: A System for Zero-Shot Model Selection for Clustering
by: Singh, Prabhant, et al.
Published: (2024)