Abstract. We present highly accurate deterministic and probabilistic methods for monitoring temporal properties of stochastic systems. The deterministic algorithms employ timeouts that are set dynamically to achieve desired accuracy. The probabilistic algorithms employ coin tossing and can give highly accurate monitors when the system behavior is not known
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.