Learning deterministic probabilistic automata from a model checking perspective. Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G., & Nielsen, B. Mach. Learn., 105(2):255–299, 2016.
Paper doi bibtex @article{DBLP:journals/ml/MaoCJNLN16,
author = {Hua Mao and
Yingke Chen and
Manfred Jaeger and
Thomas D. Nielsen and
Kim G. Larsen and
Brian Nielsen},
title = {Learning deterministic probabilistic automata from a model checking
perspective},
journal = {Mach. Learn.},
volume = {105},
number = {2},
pages = {255--299},
year = {2016},
url = {https://doi.org/10.1007/s10994-016-5565-9},
doi = {10.1007/s10994-016-5565-9},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/MaoCJNLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}