Ali Salamati, Sadegh Soudjani, Majid Zamani. Data-driven verification of stochastic linear systems with signal temporal logic constraints. Automatica, 131:109781, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.