3 papers
cs.RO2025
Research on Navigation Methods Based on LLMs
Anlong Zhang, Jianmin Ji
In recent years, the field of indoor navigation has witnessed groundbreaking advancements through the integration of Large Language Models (LLMs). Traditional navigation approaches…
cs.LO2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
Ruolin Wang, Yuejiao Xu, Jianmin Ji
Formal representations of traffic scenarios can be used to generate test cases for the safety verification of autonomous driving. However, most existing methods are limited to high…
cs.RO2024
Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
Yuejiao Xu, Ruolin Wang, Chengpeng Xu +1
Autonomous vehicles necessitate a delicate balance between safety, efficiency, and user preferences in trajectory planning. Existing traditional or learning-based methods face chal…