Sertaç Kagan Aydin, Ebru Aydin Göl. Optimizing Parameters of Signal Temporal Logic Formulas with Local Search. In 27th Signal Processing and Communications Applications Conference, SIU 2019, Sivas, Turkey, April 24-26, 2019. pages 1-4, IEEE, 2019. [doi]
Abstract is missing.