summaryrefslogtreecommitdiffstats
path: root/proof.tex
AgeCommit message (Expand)Author
2012-10-22Proof of lemma 3 (bound on the relaxations of the value function)Thibaut Horel
2012-10-22Add a proof.tex file with the beginning of the proofThibaut Horel