Probabilistic Guarantees for Safe Deep Reinforcement Learning. - Edoardo Bacci; David Parker 001 (FORMATS, 2020)

Verifying Reinforcement Learning up to Infinity. - Edoardo Bacci; Mirco Giacobbe; David Parker 001 (IJCAI, 2021)

Verified Probabilistic Policies for Deep Reinforcement Learning. - Edoardo Bacci; David Parker 001 (NFM, 2022)

Formal verification of deep reinforcement learning agents. - Edoardo Bacci (2022)