Verified Algorithms for Solving Markov Decision Processes by Maximilian Schäffeler and Mohammad Abdulaziz Dec 16

Constructive Cryptography in HOL: the Communication Modeling Aspect by Andreas Lochbihler and S. Reza Sefidgar Mar 17

A Verified Compiler for Probability Density Functions by Manuel Eberl, Johannes Hölzl and Tobias Nipkow Oct 09