Verification of general Markov decision processes: policy refinement via approximate… S. Haesaert, A. Abate and P.M.J. Van den Hof (2015). Verification of general Markov decision processes: policy refinement… Read more
