Four proofs of Gittins' multiarmed bandit theorem.

Esther Frostig Gideon Weiss

Published in: Ann. Oper. Res. (2016)

Keyphrases

multiarmed bandit
interactive theorem proving
mathematical proofs
theorem proving
equational theories
theorem prover
formal proof
decision making
real time
artificial intelligence
three dimensional
evolutionary algorithm
medical images