Scalable Verification of Markov Decision Processes.

Axel Legay, Sean Sedwards, Louis-Marie Traonouez

Browse the full SEFM paper archive.