4 papers
RoboVAST: Automated Scenario-Based Validation of Robots at Scale
Frederik Pasch, Samuel Wiest, Argentina Ortega +1
Validation of robotic systems critically depends on the operating conditions under which they are assessed. Scenario selection and variation are often manual, experience-driven, an…
Beyond Models: Reflections on Engineering AI-enabled Systems in a Project-Based Course
Amir Mashmool, Kishan Ravindra Sawant, Mojtaba Shahin +2
Teaching Software Engineering for AI-enabled systems entails addressing the integration of AI components within full-scale software architectures under realistic constraints. While…
Automated Behaviour-Driven Acceptance Testing of Robotic Systems
Minh Nguyen, Sebastian Wrede, Nico Hochgeschwender
The specification and validation of robotics applications require bridging the gap between formulating requirements and systematic testing. This often involves manual and error-pro…
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Marsha Chechik, Arianna Fedeli, Gianluca Filippone +4
This volume contains the proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), which was held in H…