pdf-format: |
|
@Article{belta_et_al:DR:2017:8281, author = {Calin A. Belta and Rupak Majumdar and Maijid Zamani and Matthias Rungger}, title = {{Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)}}, pages = {84--96}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {5}, editor = {Calin A. Belta and Rupak Majumdar and Majid Zamani and Matthias Rungger}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8281}, URN = {urn:nbn:de:0030-drops-82813}, doi = {10.4230/DagRep.7.5.84}, annote = {Keywords: Cyber-physical systems, formal synthesis, reactive synthesis, discrete event systems, dynamical systems and control} }
Keywords: | Cyber-physical systems, formal synthesis, reactive synthesis, discrete event systems, dynamical systems and control | |
Seminar: | Dagstuhl Reports, Volume 7, Issue 5 | |
Issue date: | 2017 | |
Date of publication: | 21.12.2017 |