Login / Signup
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