-
1
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Distributional Reinforcement Learning
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter