Black-box Testing Liveness Properties of Partially Observable Stochastic Systems

Javier Esparza, Vincent Grande

We study black-box testing for stochastic systems and arbitrary $\omega$-regular specifications, explicitly including liveness properties. We are given a finite-state probabilistic syst…