Efficient approximate verification of B and Z models via symmetry markers.

Michael Leuschel Thierry Massart

Published in: Ann. Math. Artif. Intell. (2010)

Keyphrases

probabilistic model
statistical models
statistical methods
learning algorithm
video sequences
bayesian framework
learning models
mathematical models
accurate models