C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Game-Based Probabilistic Predicate Abstraction in PRISM.
Mark Kattenbelt
Marta Z. Kwiatkowska
Gethin Norman
David Parker
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
monotonicity constraints
high level
learning systems
bayesian networks
probabilistic model
probabilistic logic
generative model
learning tools
information systems
data driven
mobile learning
probabilistic reasoning
generation algorithm
digital educational games