@InProceedings{BP20b,
author={Edoardo Bacci and David Parker},
title={Probabilistic Guarantees for Safe Deep Reinforcement Learning},
booktitle={Proc. 18th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'20)},
year={2020},

editors={},
pages={231-248},
organization={},
publisher={Springer},
series={LNCS},
volume={12288},
address={},
month={},
note={},
key={}
}