Machine Learning and Formal Method (Dagstuhl Seminar 17351)

Sanjit A. Seshia, Zhu, Xianjin (Jerry), Andreas Krause, Susmit Jha, Marc Herbstritt
2018 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 17351 "Machine Learning and Formal Methods". The seminar brought together practitioners and reseachers in machine learning and related areas (such as robotics) with those working in formal methods and related areas (such as programming languages and control theory). The meeting highlighted the connections between the two disciplines, and created new links between the two research communities.
doi:10.4230/dagrep.7.8.55 dblp:journals/dagstuhl-reports/SeshiaZKJ17 fatcat:pw2cuxb3e5eephkw4khs3fnkae