Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements | IEEE Journals & Magazine | IEEE Xplore