8 citations · 23 across the 4 of their papers we have counts for
4 papers
Towards a safe MLOps Process for the Continuous Development and Safety Assurance of ML-based Systems in the Railway Domain
Marc Zeller, Thomas Waschulzik, Reiner Schmid +1
Traditional automation technologies alone are not sufficient to enable driverless operation of trains (called Grade of Automation (GoA) 4) on non-restricted infrastructure. The req…
Capturing Dependencies within Machine Learning via a Formal Process Model
Fabian Ritz, Thomy Phan, Andreas Sedlmeier +7
The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without di…
SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning
Fabian Ritz, Thomy Phan, Robert Müller +8
A characteristic of reinforcement learning is the ability to develop unforeseen strategies when solving problems. While such strategies sometimes yield superior performance, they m…
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier +5
From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various…