*-based learning of Markov decision processes (extended version)

Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen. *-based learning of Markov decision processes (extended version). Formal Asp. Comput., 33(4):575-615, 2021. [doi]

Abstract

Abstract is missing.