@misc{indiciae45efa583c13a, title = {L*-Based Learning of Markov Decision Processes (Extended Version)}, author = {Martin Tappler and Bernhard K. Aichernig and Giovanni Bacci and Maria Eichlseder and Kim G. Larsen}, year = {2019}, url = {https://arxiv.org/abs/1906.12239}, note = {Source identifier: 1906.12239} }