Synthesis of Optimal Strategies Using HyTech.

Patricia Bouyer Franck Cassez Emmanuel Fleury Kim Guldstrand Larsen

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

optimal strategy
decision problems
monte carlo
expected cost
expected utility
mathematical models
program synthesis
cooperative game
data structure
genetic algorithm
experimental data
search algorithm
influence diagrams
texture synthesis
decision making
computer vision
data sets