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

Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen

13 Oct 2025Formal Aspects Comput. 2021EveryoneCC BY-SA 4.0