Monitoring Temporal Properties of Stochastic Systems.

A. Prasad Sistla Abhigna R. Srinivas

Published in: VMCAI (2008)

Keyphrases

temporal properties
stochastic systems
model checking
stochastic models
conservation laws
confidence intervals
possibility theory
formal methods
sample path
neural network
dynamic programming
software engineering