Edoardo Bacci

According to our database, Edoardo Bacci authored at least 4 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Formal verification of deep reinforcement learning agents.

Edoardo Bacci

PhD thesis, 2022

Verified Probabilistic Policies for Deep Reinforcement Learning.

Edoardo Bacci, David Parker

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Verifying Reinforcement Learning up to Infinity.

Edoardo Bacci, Mirco Giacobbe, David Parker

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Probabilistic Guarantees for Safe Deep Reinforcement Learning.

Edoardo Bacci, David Parker

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020