Data-driven verification of stochastic linear systems with signal temporal logic constraints

From MaRDI portal
Publication:2665419

DOI10.1016/j.automatica.2021.109781zbMath1478.93672OpenAlexW3176015044MaRDI QIDQ2665419

Ali Salamati, Sadegh Soudjani, Majid Zamani

Publication date: 19 November 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109781




Related Items (3)


Uses Software


Cites Work


This page was built for publication: Data-driven verification of stochastic linear systems with signal temporal logic constraints