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...
share
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
