Xu-Dong Zhang

Fixed-Point Guided ADS Scenario Generation via Multi-modal LLM Reasoning and Software Testing

Robust scenario generation is essential for systematically testing Autonomous Driving Systems (ADSs) under rare and safety-critical conditions. However, search-based approaches often lack semantic guidance, whereas specification-based approaches rely heavily on manually constructed rules. Existing LLM-assisted techniqu...