Login / Signup
Probabilistic symbolic model checking with PRISM: a hybrid approach.
Marta Z. Kwiatkowska
Gethin Norman
David Parker
Published in:
Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
</>
symbolic model checking
model checking
partial observability
formal verification
probabilistic model
bayesian networks
conformant planning
binary decision diagrams
temporal logic
symbolic representation
artificial intelligence
orders of magnitude
heuristic search
model checker