5 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…
Replicable Simulation-Based Robot Validation through Provenance
Argentina Ortega, Samuel Wiest, Frederik Pasch +1
Robot behavior is often validated through simulation-based testing, yet the replicability of such campaigns depends critically on transparent documentation of how tests are configu…
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…