Login / Signup

Symbolic Model Checking of Stochastic Systems: Theory and Implementation.

Matthias KuntzMarkus Siegle
Published in: SPIN (2006)
Keyphrases
  • stochastic systems
  • symbolic model checking
  • model checking
  • stochastic models
  • partial observability
  • dynamic environments
  • sample size
  • sample path