Jean-François Raskin Ocan Sankur Multiple-Environment Markov Decision Processes. 531-543 2014 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2014.531 conf/fsttcs/2014 db/conf/fsttcs/fsttcs2014.html#RaskinS14