150 citations · 623 across the 65 of their papers we have counts for
1 paper · 2 filters
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…