|
[TAB+19]
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder and Kim G. Larsen.
L*-Based Learning of Markov Decision Processes.
In Proc. 23rd International Symposium on Formal Methods (FM'19), volume 11800 of LNCS, pages 651-669, Springer.
2019.
[Performs probabilistic model checking with PRISM as part of an MDP learning framework.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|