LaViers, Amy; Chen, Yushan; Belta, Calin; Egerstedt, Magnus B.(Georgia Institute of TechnologyInstitute of Electrical and Electronics Engineers, 2011-04)
As cyber-physical systems become more prevalent,
specifications for these systems must be formulated in a more
nuanced manner. This paper presents a particular instantiation
of such specification by proposing a framework ...