3 papers
cs.LO2026
ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents
Junyi Liu, Tianchi Ren, Fei Guan +4
Rigorous schedulability analysis is essential for the design of hard real-time systems, yet errors in pen-and-paper proofs threaten the safety of critical applications. The Prosa i…
cs.AI2025
CoT-VLM4Tar: Chain-of-Thought Guided Vision-Language Models for Traffic Anomaly Resolution
Tianchi Ren, Haibo Hu, Jiacheng Zuo +5
With the acceleration of urbanization, modern urban traffic systems are becoming increasingly complex, leading to frequent traffic anomalies. These anomalies encompass not only com…
cs.AI2024
Autoware.Flex: Human-Instructed Dynamically Reconfigurable Autonomous Driving Systems
Ziwei Song, Mingsong Lv, Tianchi Ren +3
Existing Autonomous Driving Systems (ADS) independently make driving decisions, but they face two significant limitations. First, in complex scenarios, ADS may misinterpret the env…