@Article{kersting_et_al:DagRep.10.2.76,
author = {Kersting, Kristian and Kim, Miryung and Van den Broeck, Guy and Zimmermann, Thomas},
title = {{SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)}},
pages = {76--87},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {10},
number = {2},
editor = {Kersting, Kristian and Kim, Miryung and Van den Broeck, Guy and Zimmermann, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.76},
URN = {urn:nbn:de:0030-drops-130603},
doi = {10.4230/DagRep.10.2.76},
annote = {Keywords: correctness / explainability / traceability / fairness for ml, data scientist productivity, debugging/ testing / verification for ml systems}
}