Login / Signup
Zhaoyan Huang
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Autonomous Vehicle Navigation
Formal Specification
Model Checker
Temporal Logic
Top Venues
ICCAE
IV
</>
Publications
</>
Yujin Wang
,
Zhaoyan Huang
,
Shiying Dong
,
Hongqing Chu
,
Xiang Yin
,
Bingzhao Gao
ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios.
ICCAE
(2024)
Yujin Wang
,
Zhaoyan Huang
,
Quanfeng Liu
,
Yutong Zheng
,
Jinlong Hong
,
Junyi Chen
,
Lu Xiong
,
Bingzhao Gao
,
Hong Chen
Drive as Veteran: Fine-tuning of an Onboard Large Language Model for Highway Autonomous Driving.
IV
(2024)
Yujin Wang
,
Zhaoyan Huang
,
Shiying Dong
,
Hongqing Chu
,
Xiang Yin
,
Bingzhao Gao
Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications.
ICCAE
(2024)