@inproceedings{Bombara_2016,
    doi = {10.1145/2883817.2883843},
    url = {https://doi.org/10.1145%2F2883817.2883843},
    year = {2016},
    month = {apr},
    publisher = {{ACM}},
    author = {Giuseppe Bombara and Cristian-Ioan Vasile and Francisco Penedo and Hirotoshi Yasuoka and Calin Belta},
    title = {A Decision Tree Approach to Data Classification using Signal Temporal Logic},
    booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control}
}

@inproceedings{Bombara_2016, doi = {10.1145/2883817.2883843}, url = {https://doi.org/10.1145%2F2883817.2883843}, year = {2016}, month = {apr}, publisher = {{ACM}}, author = {Giuseppe Bombara and Cristian-Ioan Vasile and Francisco Penedo and Hirotoshi Yasuoka and Calin Belta}, title = {A Decision Tree Approach to Data Classification using Signal Temporal Logic}, booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control} }