2026-07-20T11:02:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9298 2024-03-06T10:26:55Z ddc:004 open_access

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121) Jansen, Nils Katoen, Joost-Pieter Kohli, Pusmeet Kretinsky, Jan artificial intelligence cyber-physical systems formal methods formal verification logics machine learning model checking quantitative verification safety-critical systems 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nils Jansen and Joost-Pieter Katoen and Pusmeet Kohli and Jan Kretinsky 2018 Is Part Of Dagstuhl Reports, Volume 8, Issue 3 (2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.8.3.74 urn:nbn:de:0030-drops-92988 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.74 eng https://creativecommons.org/licenses/by/3.0/legalcode