%0 Conference Paper %1 conf/icst/AertsMMR18 %A Aerts, Arend %A Minh, Bryan Tong %A Mousavi, Mohammad Reza %A Reniers, Michel A. %B ICST Workshops %D 2018 %I IEEE Computer Society %K dblp %P 214-223 %T Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. %U http://dblp.uni-trier.de/db/conf/icst/icstw2018.html#AertsMMR18 %@ 978-1-5386-6352-3

@inproceedings{conf/icst/AertsMMR18, added-at = {2023-03-23T00:00:00.000+0100}, author = {Aerts, Arend and Minh, Bryan Tong and Mousavi, Mohammad Reza and Reniers, Michel A.}, biburl = {https://www.bibsonomy.org/bibtex/2c851980aa19af46693b1e19eca6a1df1/dblp}, booktitle = {ICST Workshops}, crossref = {conf/icst/2018w}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00052}, interhash = {5c2ffd2feb03b4fb520b80ba5a317471}, intrahash = {c851980aa19af46693b1e19eca6a1df1}, isbn = {978-1-5386-6352-3}, keywords = {dblp}, pages = {214-223}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:24:25.000+0200}, title = {Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.}, url = {http://dblp.uni-trier.de/db/conf/icst/icstw2018.html#AertsMMR18}, year = 2018 }