3 papers
cs.SE2025
Txt2Sce: Scenario Generation for Autonomous Driving System Testing Based on Textual Reports
Pin Ji, Yang Feng, Zongtai Li +4
With the rapid advancement of deep learning and related technologies, Autonomous Driving Systems (ADSs) have made significant progress and are gradually being widely applied in saf…
cs.AI2025
AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
Haoyu Wang, Christopher M. Poskitt, Jun Sun
Agents built on LLMs are increasingly deployed across diverse domains, automating complex decision-making and task execution. However, their autonomy introduces safety risks, inclu…
cs.SE2025
FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
Yang Sun, Christopher M. Poskitt, Kun Wang +1
Autonomous Vehicles (AVs) are advancing rapidly, with Level-4 AVs already operating in real-world conditions. Current AVs, however, still lag behind human drivers in adaptability a…