Search Results for author: Louis-Marie Traonouez

Found 1 papers, 0 papers with code

Scalable Verification of Markov Decision Processes

no code implementations14 Oct 2013 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.