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