Logan Mathesen, Giulia Pedrielli, Georgios Fainekos. Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 732-737, IEEE, 2021. [doi]
@inproceedings{MathesenPF21,
title = {Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements},
author = {Logan Mathesen and Giulia Pedrielli and Georgios Fainekos},
year = {2021},
doi = {10.1109/CASE49439.2021.9551474},
url = {https://doi.org/10.1109/CASE49439.2021.9551474},
researchr = {https://researchr.org/publication/MathesenPF21},
cites = {0},
citedby = {0},
pages = {732-737},
booktitle = {17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021},
publisher = {IEEE},
isbn = {978-1-6654-1873-7},
}