License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.8.3.74
URN: urn:nbn:de:0030-drops-92988
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9298/
Go back to Dagstuhl Reports


Jansen, Nils ; Katoen, Joost-Pieter ; Kohli, Pusmeet ; Kretinsky, Jan
Weitere Beteiligte (Hrsg. etc.): Nils Jansen and Joost-Pieter Katoen and Pushmeet Kohli and Jan Kretinsky

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

pdf-format:
dagrep_v008_i003_p074_18121.pdf (10 MB)


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.

BibTeX - Entry

@Article{jansen_et_al:DR:2018:9298,
  author =	{Nils Jansen and Joost-Pieter Katoen and Pusmeet Kohli and Jan Kretinsky},
  title =	{{Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)}},
  pages =	{74--93},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Nils Jansen and Joost-Pieter Katoen and Pushmeet Kohli and Jan Kretinsky},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9298},
  URN =		{urn:nbn:de:0030-drops-92988},
  doi =		{10.4230/DagRep.8.3.74},
  annote =	{Keywords: artificial intelligence, cyber-physical systems, formal methods, formal verification, logics, machine learning, model checking, }
}

Keywords: artificial intelligence, cyber-physical systems, formal methods, formal verification, logics, machine learning, model checking,
Freie Schlagwörter (englisch): quantitative verification, safety-critical systems
Seminar: Dagstuhl Reports, Volume 8, Issue 3
Issue Date: 2018
Date of publication: 25.07.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI