Temporal logic inference for classification and prediction from data

Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta. Temporal logic inference for classification and prediction from data. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 273-282, ACM, 2014. [doi]

@inproceedings{KongJAGB14,
  title = {Temporal logic inference for classification and prediction from data},
  author = {Zhaodan Kong and Austin Jones and Ana Medina Ayala and Ebru Aydin Gol and Calin Belta},
  year = {2014},
  doi = {10.1145/2562059.2562146},
  url = {http://doi.acm.org/10.1145/2562059.2562146},
  researchr = {https://researchr.org/publication/KongJAGB14},
  cites = {0},
  citedby = {0},
  pages = {273-282},
  booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  editor = {Martin Fränzle and John Lygeros},
  publisher = {ACM},
  isbn = {978-1-4503-2732-9},
}