Efficient Online Monitoring and Formula Synthesis with Past STL | AVESİS

Middle East Technical University Research Information System

Efficient Online Monitoring and Formula Synthesis with Past STL

Copy For Citation

2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Thessaloniki, Greece, 10 - 13 April 2018

Publication Type: Conference Paper / Full Text
Doi Number: 10.1109/codit.2018.8394941
City: Thessaloniki
Country: Greece
Middle East Technical University Affiliated: Yes