Partial Order Reduction for Probabilistic Branching Time.
Christel BaierPedro R. D'ArgenioMarcus GrößerPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- model checking
- partial order reduction
- temporal logic
- epistemic logic
- temporal reasoning
- information theoretic
- context sensitive
- real time
- petri net
- generative model
- probabilistic model
- neural network
- belief networks
- machine learning
- data mining
- special case
- multi agent
- conditional probabilities
- posterior probability
- knowledge base
- learning algorithm
- uncertain data
- probabilistic logic
- probabilistic approaches