%0 Conference Paper %1 conf/adhs/YaghoubiF18 %A Yaghoubi, Shakiba %A Fainekos, Georgios %B ADHS %D 2018 %E Abate, Alessandro %E Girard, Antoine %E Heemels, Maurice %I Elsevier %K dblp %N 16 %P 103-108 %T Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. %U http://dblp.uni-trier.de/db/conf/adhs/adhs2018.html#YaghoubiF18 %V 51

@inproceedings{conf/adhs/YaghoubiF18, added-at = {2018-10-08T00:00:00.000+0200}, author = {Yaghoubi, Shakiba and Fainekos, Georgios}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ed3942d22cec360255f0d17ab570e205/dblp}, booktitle = {ADHS}, crossref = {conf/adhs/2018}, editor = {Abate, Alessandro and Girard, Antoine and Heemels, Maurice}, ee = {https://doi.org/10.1016/j.ifacol.2018.08.018}, interhash = {1960ad6be10315405157b17f2346698e}, intrahash = {ed3942d22cec360255f0d17ab570e205}, keywords = {dblp}, number = 16, pages = {103-108}, publisher = {Elsevier}, series = {IFAC-PapersOnLine}, timestamp = {2019-09-27T15:03:52.000+0200}, title = {Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time.}, url = {http://dblp.uni-trier.de/db/conf/adhs/adhs2018.html#YaghoubiF18}, volume = 51, year = 2018 }