32 citations · 80 across the 14 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.CR2022
Partially-Observable Security Games for Automating Attack-Defense Analysis
Narges Khakpour, David Parker
Network systems often contain vulnerabilities that remain unfixed in a network for various reasons, such as the lack of a patch or knowledge to fix them. With the presence of such…
cs.AI2022★ 2 cited
Robust Anytime Learning of Markov Decision Processes
Marnix Suilen, Thiago D. Simão, David Parker +1
Markov decision processes (MDPs) are formal models commonly used in sequential decision-making. MDPs capture the stochasticity that may arise, for instance, from imprecise actuator…
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…