3 citations · 3 across the 3 of their papers we have counts for
4 papers
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez +4
Semantic segmentation networks (SSNs) are central to safety-critical applications such as medical imaging and autonomous driving, where robustness under uncertainty is essential. H…
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
Zirong Chen, Ziyan An, Jennifer Reynolds +3
Emergency response services are critical to public safety, with 9-1-1 call-takers playing a key role in ensuring timely and effective emergency operations. To ensure call-taking pe…
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…