Efficient Online Monitoring and Formula Synthesis with Past STL
2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Thessaloniki, Yunanistan, 10 - 13 Nisan 2018, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Doi Numarası: 10.1109/codit.2018.8394941
- Basıldığı Şehir: Thessaloniki
- Basıldığı Ülke: Yunanistan
- Orta Doğu Teknik Üniversitesi Adresli: Evet