85 citations · 279 across the 25 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2014★ 56 cited
Smart Sampling for Lightweight Verification of Markov Decision Processes
Pedro D'Argenio, Axel Legay, Sean Sedwards +1
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondetermi…
cs.DS2013
Scalable Verification of Markov Decision Processes
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes (MDP) are useful to model concurrent process optimisation problems, but verifying them with numerical methods is often intractable. Existing approximative…