CASPA: Symbolic model checking of stochastic systems.

Matthias Kuntz Markus Siegle

Published in: MMB (2006)

Keyphrases

stochastic systems
symbolic model checking
model checking
partial observability
formal verification
stochastic models
symbolic representation
binary decision diagrams
confidence intervals
sample path
model checker
temporal logic
machine learning
finite state