by LV Nguyen, J Kapinski, X Jin, JV Deshmukh, K Butts and
Taylor T. JohnsonReference:
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, K Butts and Taylor T. Johnson, "Abnormal data classification using time-frequency temporal logic", In 20th International Conference on Hybrid Systems: Computation and Control (HSCC'17), ACM, pp. 237–242, 2017.
Bibtex Entry:
@inproceedings{nguyen2017hscc,
title = {Abnormal data classification using time-frequency temporal logic},
author = {LV Nguyen and J Kapinski and X Jin and JV Deshmukh and K Butts and Taylor T. Johnson},
year = {2017},
month = apr,
booktitle = {20th International Conference on Hybrid Systems: Computation and Control (HSCC'17)},
pages = {237--242},
publisher = {ACM},
doi = {10.1145/3049797.3049809},
publabel = {C18},
pubtype = {C},
dblp = {conf/hybrid/NguyenKJDBJ17},
pdf = "research/nguyen2017hscc.pdf",
}