@PhDThesis{Bac22,
author={Edoardo Bacci},
title={Formal Verification of Deep Reinforcement Learning Agents},
school={School of Computer Science, University of Birmingham},
year={2022},

type={},
address={},
month={},
note={},
key={}
}