Verification of markov decision processes using learning algorithms