![](/img/cover-not-exists.png)
[IEEE 2019 27th Signal Processing and Communications Applications Conference (SIU) - Sivas, Turkey (2019.4.24-2019.4.26)] 2019 27th Signal Processing and Communications Applications Conference (SIU) - Optimizing Parameters of Signal Temporal Logic Formulas with Local Search
Kagan Aydin, Sertac, Gol, Ebru AydinYear:
2019
Language:
english
DOI:
10.1109/SIU.2019.8806568
File:
PDF, 506 KB
english, 2019