@Article{DagRep.6.12, title = {{Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {12}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.12}, URN = {urn:nbn:de:0030-drops-71153}, doi = {10.4230/DagRep.6.12}, annote = {Keywords: Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue} } @Article{DagRep.6.12.i, title = {{Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {12}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.12.i}, URN = {urn:nbn:de:0030-drops-71149}, doi = {10.4230/DagRep.6.12.i}, annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016} } @Article{bogomolov_et_al:DagRep.6.12.1, author = {Bogomolov, Sergiy and Fr\"{a}nzle, Martin and Makino, Kyoko and Ramdani, Nacim}, title = {{Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)}}, pages = {1--28}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {12}, editor = {Bogomolov, Sergiy and Fr\"{a}nzle, Martin and Makino, Kyoko and Ramdani, Nacim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.12.1}, URN = {urn:nbn:de:0030-drops-71085}, doi = {10.4230/DagRep.6.12.1}, annote = {Keywords: constraint solving, cyber-physical systems, formal methods, hybrid systems, optimization methods, planning, robotics, verified numerical methods} }