AIware 2025
Wed 19 - Thu 20 November 2025
co-located with ASE 2025
Wed 19 Nov 2025 17:00 - 17:05 at Grand Hall 1 - Emerging Frontiers and Applications of AIware Chair(s): Cuiyun Gao

Autonomous vehicles (AVs) make driving decisions without human intervention. Therefore, ensuring AVs’ dependability is critical. Despite significant research and development in AV development, their dependability assurance remains a significant challenge due to the complexity and unpredictability of their operating environments. Scenario-based testing evaluates AVs under various driving scenarios, but the unlimited number of potential scenarios highlights the importance of identifying critical scenarios that can violate safety or functional requirements. Such requirements are inherently interdependent and need to be tested simultaneously. To this end, we propose MOEQT, a novel multi-objective reinforcement learning (MORL)-based approach to generate critical scenarios that simultaneously test interdependent safety and functional requirements. MOEQT adapts Envelope Q-learning as the MORL algorithm, which dynamically adapts multi-objective weights to balance the relative importance between multiple objectives. MOEQT generates critical scenarios to violate multiple requirements through dynamically interacting with the AV environment, ensuring comprehensive AV testing. We evaluate MOEQT using an advanced end-to-end AV controller and a high-fidelity simulator and compare MOEQT with two baselines: a random strategy and a single-objective RL with a weighted reward function. Our evaluation results show that MOEQT achieved an overall better performance in identifying critical scenarios for violating multiple requirements than the baselines.

Wed 19 Nov

Displayed time zone: Seoul change

16:50 - 17:35
Emerging Frontiers and Applications of AIwareMain Track / ArXiv Track at Grand Hall 1
Chair(s): Cuiyun Gao Harbin Institute of Technology, Shenzhen
16:50
5m
Talk
Envisioning Future Interactive Web Development: Editing Webpage with Natural Language
Main Track
Dang Truong Singapore Management University, Jingyu Xiao The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore
16:55
5m
Talk
On the Promises and Challenges of AI-Powered XR Glasses as Embodied Software
Main Track
Ruizhen Gu University of Sheffield, Jingqiong Zhang University of Sheffield, José Miguel Rojas University of Sheffield, Donghwan Shin University of Sheffield
Pre-print
17:00
5m
Talk
Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles
ArXiv Track
Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
Pre-print
17:05
5m
Talk
Combining Reasoning Optimized LLMs and SMT Solvers for Automated Loop Invariant Synthesis
Main Track
17:10
5m
Talk
Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design
ArXiv Track
17:15
20m
Live Q&A
Joint Q&A and Discussion #AIwareApplications
Main Track