%0 Conference Paper %1 conf/siu/AydinG19 %A Aydin, Sertaç Kagan %A Göl, Ebru Aydin %B SIU %D 2019 %I IEEE %K dblp %P 1-4 %T Optimizing Parameters of Signal Temporal Logic Formulas with Local Search. %U http://dblp.uni-trier.de/db/conf/siu/siu2019.html#AydinG19 %@ 978-1-7281-1904-5

@inproceedings{conf/siu/AydinG19, added-at = {2019-08-29T00:00:00.000+0200}, author = {Aydin, Sertaç Kagan and Göl, Ebru Aydin}, biburl = {https://www.bibsonomy.org/bibtex/2d66747739f2aaa0398ff8de1251f10f8/dblp}, booktitle = {SIU}, crossref = {conf/siu/2019}, ee = {https://doi.org/10.1109/SIU.2019.8806568}, interhash = {88b5261a57d27a94892725f0a05b793e}, intrahash = {d66747739f2aaa0398ff8de1251f10f8}, isbn = {978-1-7281-1904-5}, keywords = {dblp}, pages = {1-4}, publisher = {IEEE}, timestamp = {2019-08-30T11:40:41.000+0200}, title = {Optimizing Parameters of Signal Temporal Logic Formulas with Local Search.}, url = {http://dblp.uni-trier.de/db/conf/siu/siu2019.html#AydinG19}, year = 2019 }