We present highly accurate deterministic and randomized methods for monitoring temporal properties of stochastic systems. The deterministic algorithms employ timeouts that are set dynamically to achieve desired accuracy. The randomized algorithms employ coin tossing and can give highly accurate monitors when the system behavior is not known. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Sistla, A. P., & Srinivas, A. R. (2008). Monitoring temporal properties of stochastic systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4905 LNCS, pp. 294–308). https://doi.org/10.1007/978-3-540-78163-9_25
Mendeley helps you to discover research relevant for your work.