Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications

Liqian Ma, Zishun Liu, Hongzhe Yu +1

We study the verification problem of stochastic systems under signal temporal logic (STL) specifications. We propose a novel approach that enables the verification of the probabili…