Discrete-Time Rewards Model-Checked.

Suzana Andova Holger Hermanns Joost-Pieter Katoen

Published in: FORMATS (2003)

Keyphrases

probabilistic model
management system
statistical model
computational model
high level
probability distribution
parameter estimation
neural network model
image segmentation
conceptual model
simulation model