# Mathematics/Probability theory

## Subject Classification

ACM: Mathematics of computing~Probability and statistics

AMS: Probability theory and stochastic processes

## 2023

## 2022

## 2021

##### Verified Algorithms for Solving Markov Decision Processes

by Maximilian Schäffeler and Mohammad Abdulaziz

##### Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler and S. Reza Sefidgar

## 2018

## 2017

## 2016

## 2015

## 2014

##### A Verified Compiler for Probability Density Functions

by Manuel Eberl, Johannes Hölzl and Tobias Nipkow