Bisimulation quotients of Veltman models.

Domagoj Vrgoc Mladen Vukovic

Published in: Reports Math. Log. (2011)

Keyphrases

probabilistic model
neural network
statistical models
real time
databases
genetic algorithm
prior knowledge
markov random field
statistical model
neural network model
random fields