8 citations · 18 across the 3 of their papers we have counts for
3 papers
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…