ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.

Corinna Spermann Michael Leuschel

Published in: TASE (2008)

Keyphrases

accurate models
statistical models
real world
probabilistic model
genetic algorithm
data mining
decision making
high quality
multi agent systems
hidden markov models
mobile robot
d objects
least squares
medical images
parameter estimation
modeling framework
real time