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