Symbolic Model Checking for Probabilistic Processes.
Christel BaierEdmund M. ClarkeVasiliki Hartonas-GarmhausenMarta Z. KwiatkowskaMark RyanPublished in: ICALP (1997)
Keyphrases
- symbolic model checking
- model checking
- partial observability
- conformant planning
- formal verification
- probabilistic model
- bayesian networks
- generative model
- artificial intelligence
- model checker
- knowledge base
- machine learning
- data mining
- mobile robot
- symbolic representation
- association rules
- binary decision diagrams