pdf-format: |
|
@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 |