3 citations · 3 across the 4 of their papers we have counts for
4 papers
Combining LLMs with Logic-Based Framework to Explain MCTS
Ziyan An, Xia Wang, Hendrik Baier +6
In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural langu…
Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities
Yimo Yan, Yejia Liao, Guanhao Xu +13
The rapid rise of Large Language Models (LLMs) is transforming traffic and transportation research, with significant advancements emerging between the years 2023 and 2025 -- a peri…
Using Automated Vehicle Data as a Fitness Tracker for Sustainability
Xia Wang, Sobenna Onwumelu, Jonathan Sprinkle
This work describes the use of on-board vehicle data from cars with advanced driver assistance features as a trip summary, with the goal of helping drivers contextualize their driv…
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes
Xia Wang, Anda Liang, Jonathan Sprinkle +1
Many decision-making scenarios in modern life benefit from the decision support of artificial intelligence algorithms, which focus on a data-driven philosophy and automated program…