3 citations · 3 across the 8 of their papers we have counts for
1 paper · 1 filter
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…