Verifying Models with Dolmen.

Guillaume Bury François Bobot

Published in: SMT (2023)

Keyphrases

statistical models
reinforcement learning
complex systems
statistical model
image sequences
face recognition
probabilistic model
parameter estimation
experimental data
bayesian framework
linear model