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]
Abstract is missing.