pdf-format: |
|
@Article{seshia_et_al:DR:2018:8430, author = {Sanjit A. Seshia and Xianjin (Jerry) Zhu and Andreas Krause and Susmit Jha}, title = {{Machine Learning and Formal Methods (Dagstuhl Seminar 17351)}}, pages = {55--73}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {7}, number = {8}, editor = {Sanjit A. Seshia and Xiaojin (Jerry) Zhu and Andreas Krause and Susmit Jha}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2018/8430}, URN = {urn:nbn:de:0030-drops-84302}, doi = {10.4230/DagRep.7.8.55}, annote = {Keywords: Formal Methods, Machine Learning} }
Keywords: | Formal Methods, Machine Learning | |
Seminar: | Dagstuhl Reports, Volume 7, Issue 8 | |
Issue date: | 2018 | |
Date of publication: | 06.02.2018 |