@article{Mao_2016,
    doi = {10.1007/s10994-016-5565-9},
    url = {https://doi.org/10.1007%2Fs10994-016-5565-9},
    year = {2016},
    month = {may},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {105},
    number = {2},
    pages = {255--299},
    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 = {Machine Learning}
}

@article{Mao_2016, doi = {10.1007/s10994-016-5565-9}, url = {https://doi.org/10.1007%2Fs10994-016-5565-9}, year = {2016}, month = {may}, publisher = {Springer Science and Business Media {LLC}}, volume = {105}, number = {2}, pages = {255--299}, 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 = {Machine Learning} }