8 papers
Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation
Bowen Ye, Xiang Yin
Signal Temporal Logic (STL) enables rigorous verification and control of cyber-physical systems, but writing correct specifications requires expertise that most requirement holders…
Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
Bowen Ye, Ancheng Hou, Junyue Huang +2
Signal Temporal Logic (STL) offers verifiable task specifications and is crucial for safety-critical control. Yet STL planning remains challenging: exact optimization-based methods…
DAP: A Discrete-token Autoregressive Planner for Autonomous Driving
Bowen Ye, Bin Zhang, Hang Zhao
Gaining sustainable performance improvement with scaling data and model budget remains a pivotal yet unresolved challenge in autonomous driving. While autoregressive models exhibit…
Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
Jianing Zhao, Bowen Ye, Xinyi Yu +2
We investigate the task and motion planning problem for dynamical systems under signal temporal logic (STL) specifications. Existing works on STL control synthesis mainly focus on…
Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
Bowen Ye, Junyue Huang, Yang Liu +2
We investigate the task and motion planning problem for Signal Temporal Logic (STL) specifications in robotics. Existing STL methods rely on pre-defined maps or mobility representa…
Bidirectional Prototype-Reward co-Evolution for Test-Time Adaptation of Vision-Language Models
Xiaozhen Qiao, Peng Huang, Jiakang Yuan +6
Test-time adaptation (TTA) is crucial in maintaining performance of Vision Language Models (VLMs) when facing distribution shifts, particularly when the source data or target label…
Magical Experience with Full-body Action
Bowen Ye, Yuki Enzaki, Hiroo Iwata
This paper presents a system that generates a magical experience with full-body motion. The system consists of a locomotion interface and a spatial immersive display. A virtual exp…
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
Bowen Ye, Jianing Zhao, Shaoyuan Li +1
In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specific…