research
∙
10/13/2022
Adopting Microservices and DevOps in the Cyber-Physical Systems Domain: A Rapid Review and Case Study
The domain of cyber-physical systems (CPS) has recently seen strong grow...
share
research
∙
08/10/2022
Capturing Dependencies within Machine Learning via a Formal Process Model
The development of Machine Learning (ML) models is more than just a spec...
research
∙
12/14/2020
SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning
A characteristic of reinforcement learning is the ability to develop unf...
research
∙
02/13/2019