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

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

Abstract

Abstract is missing.