Ali Salamati, Sadegh Soudjani, Majid Zamani. Data-driven verification of stochastic linear systems with signal temporal logic constraints. Automatica, 131:109781, 2021. [doi]
@article{SalamatiSZ21,
title = {Data-driven verification of stochastic linear systems with signal temporal logic constraints},
author = {Ali Salamati and Sadegh Soudjani and Majid Zamani},
year = {2021},
doi = {10.1016/j.automatica.2021.109781},
url = {https://doi.org/10.1016/j.automatica.2021.109781},
researchr = {https://researchr.org/publication/SalamatiSZ21},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {131},
pages = {109781},
}