SMCL - Stochastic Model Checker for Learning in Games.

Hongyang Qu Michalis Smyrnakis Sandor M. Veres

Published in: CoRR (2016)

Keyphrases

learning algorithm
image processing
knowledge acquisition
genetic algorithm
bayesian networks
fuzzy logic
linear programming
formal verification