|
[BGJS20]
Hugo Bazille, Blaise Genest, Cyrille Jegourel and Jun Sun.
Global PAC Bounds for Learning Discrete Time Markov Chains.
In Proc. 32nd International Conference on Computer Aided Verification (CAV'20), volume 12225 of LNCS, pages 304-326, Springer.
2020.
[Presents methods for learning Markov chains from samples, with an implementation built on PRISM's simulator.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|