DagRep.8.3.74.pdf
- Filesize: 9.99 MB
- 20 pages
Document
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 8, Issue 3
Volume: Dagstuhl Reports, Volume 8
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2018-07-25
Cite AsGet BibTex
Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, and Jan Kretinsky. Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). In Dagstuhl Reports, Volume 8, Issue 3, pp. 74-93, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DagRep.8.3.74
https://doi.org/10.4230/DagRep.8.3.74
Abstract
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.
Keywords
- artificial intelligence
- cyber-physical systems
- formal methods
- formal verification
- logics
- machine learning
- model checking
- quantitative verification
- safety-critical systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads