Efficient Checking of Individual Rewards Properties in Markov Population Models.

Luca Bortolussi Jane Hillston

Published in: QAPL (2015)

Keyphrases

probabilistic model
probability models
mathematical models
information retrieval
cost effective
markov chain
markov model
random fields
computationally expensive
markov decision processes
computationally efficient
neural network
multiscale
bayesian networks
decision trees
search engine
data mining