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

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

13 Oct 2025 (modified: 05 May 2026)Formal Aspects Comput. 2021EveryoneRevisionsCC BY-SA 4.0
Loading