@Article{majumdar_et_al:DagRep.4.3.85,
author = {Majumdar, Rupak and Murray, Richard M. and Prabhakar, Pavithra},
title = {{Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)}},
pages = {85--102},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {3},
editor = {Majumdar, Rupak and Murray, Richard M. and Prabhakar, Pavithra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.85},
URN = {urn:nbn:de:0030-drops-45937},
doi = {10.4230/DagRep.4.3.85},
annote = {Keywords: Formal Verification, Cyber-Physical Systems, Hybrid Systems}
}