1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2022★ 1 cited
Verified Probabilistic Policies for Deep Reinforcement Learning
Edoardo Bacci, David Parker
Deep reinforcement learning is an increasingly popular technique for synthesising policies to control an agent's interaction with its environment. There is also growing interest in…
cs.AI2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning
Edoardo Bacci, David Parker
Deep reinforcement learning has been successfully applied to many control tasks, but the application of such agents in safety-critical scenarios has been limited due to safety conc…