Ruijia Liu

2 accepted papers

2025

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks

Ruijia Liu, Ancheng Hou, Xiao Yu, Xiang Yin

NeurIPS 2025poster

Signal Temporal Logic (STL) is a powerful specification language for describing complex temporal behaviors of continuous signals, making it well-suited for high-level robotic task descriptions. However, generating executable plans for STL tasks is challenging, as it requires consideration of the cou…

Cited by 0 Source ↗code ↗Scholar ↗

2024

NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots

Ruijia Liu, Shaoyuan Li, Xiang Yin

ICRA 2024poster

In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications. This problem is particularly challenging when robots navigate in continuous workspaces due to the high computational complexity involved. Sampling-based methods have emerged as a promising…

Cited by 6 Source ↗code ↗Scholar ↗