Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)

Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, Jan Kretinsky, Michael Wagner
2018 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 18121 "Machine Learning and Model Checking Join Forces". This Dagstuhl Seminar brought together researchers working in the fields of machine learning and model checking. It helped to identify new research topics on the one hand and to help with current problems on the other hand.
doi:10.4230/dagrep.8.3.74 dblp:journals/dagstuhl-reports/JansenKKK18 fatcat:225qaztsujhgxpclahyf4wm7qe