On Temporal Logic and Signal Processing. Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. In ATVA'12, pages 92-106, 2012. Springer.
bibtex   
@inProceedings{
 title = {On Temporal Logic and Signal Processing},
 type = {inProceedings},
 year = {2012},
 identifiers = {[object Object]},
 pages = {92-106},
 publisher = {Springer},
 id = {2478e744-0508-36e0-9d2d-da89ab9c7fb9},
 created = {2017-04-26T09:06:20.374Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:20.374Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {TFL},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott},
 booktitle = {ATVA'12}
}

Downloads: 0