Login / Signup

An Efficient Method of Probabilistic Model Checking.

Songzheng Song
Published in: SSIRI (Companion) (2010)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • finite state
  • formal specification
  • bayesian networks
  • heuristic search