ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Mon 17 Nov 2025 16:00 - 16:10 at Grand Hall 3 - Autonomous Systems

Ensuring safety and providing rigorous behavioral guarantees are critical for robotic systems operating in high-stakes environments such as autonomous driving. Field testing is common, but costly and risky. Simulation-based testing offers a safer and lower-cost alternative for automatically generating traces for analysis and performance assessment. An \textit{oracle}, a mechanism to determine whether a robot’s behavior is correct, is essential for evaluating the performance of each trace based on how well the robot completes its intended tasks while satisfying key criteria such as safety, efficiency, and reliability. Many supervised and unsupervised algorithms have been proposed for oracle learning. Supervised learning is powerful but costly and time-consuming due to manual labeling, whereas unsupervised learning does not require labels but often struggles with accuracy due to the lack of ground truth. To mitigate this drawback, we argue that introducing a human into the learning process, namely human-in-the-loop oracle learning, can help the oracle learn more precise distinctions between good and bad behaviors with a lower worst-case expected cost during testing. With the help of simulations, we can discover and prevent major mistakes that could cause injuries and other harm. We illustrate this approach through a conceptual framework for integrating human-in-the-loop learning into robotic system evaluation.

This program is tentative and subject to change.

Mon 17 Nov

Displayed time zone: Seoul change

16:00 - 17:00
16:00
10m
Talk
Human-In-The-Loop Oracle Learning for Simulation-Based Testing
NIER Track
Ben-Hau Chia Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University, Christopher Steven Timperley Carnegie Mellon University
16:10
10m
Talk
Taming Uncertainty via Automation: Observing, Analyzing, and Optimizing Agentic AI Systems
NIER Track
Dany Moshkovich IBM Research, Sergey Zeltyn IBM Research
16:20
10m
Talk
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
Industry Showcase
Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Beatriz Sanguino Norwegian University of Science and Technology, Tongtong Wang Norwegian University of Science and Technology, Guoyuan Li Norwegian University of Science and Technology, Houxiang Zhang Norwegian University of Science and Technology, Thomas Peyrucain PAL Robotics
16:30
10m
Talk
Unseen Data Detection using Routing Entropy in Mixture-of-Experts for Autonomous Vehicles
NIER Track
Sang In Lee Chungnam Naitional University, Donghwan Shin University of Sheffield, Jihun Park Chungnam National University
Pre-print
16:40
10m
Talk
Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software
Industry Showcase
Yang Liu Beijing Institute of Control Engineering, Yixing Luo Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Xiaogang Dong Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University
16:50
10m
Talk
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
Industry Showcase
Sajad Khatiri Università della Svizzera italiana and University of Bern, Francisco Eli Vi˜na Barrientos ANYbotics AG, Maximilian Wulf ANYbotics AG, Paolo Tonella USI Lugano, Sebastiano Panichella University of Bern