Ebru Aydin Gol. Efficient Online Monitoring and Formula Synthesis with Past STL. In 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018. pages 916-921, IEEE, 2018. [doi]
@inproceedings{Gol18, title = {Efficient Online Monitoring and Formula Synthesis with Past STL}, author = {Ebru Aydin Gol}, year = {2018}, doi = {10.1109/CoDIT.2018.8394941}, url = {https://doi.org/10.1109/CoDIT.2018.8394941}, researchr = {https://researchr.org/publication/Gol18}, cites = {0}, citedby = {0}, pages = {916-921}, booktitle = {5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018}, publisher = {IEEE}, isbn = {978-1-5386-5065-3}, }