@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}
}

{"_id":"5vMAdDDPtYrDTqn2f","bibbaseid":"mao-chen-jaeger-nielsen-larsen-nielsen-learningdeterministicprobabilisticautomatafromamodelcheckingperspective-2016","authorIDs":["TfSimTCj7uzbRXqJS"],"author_short":["Mao, H.","Chen, Y.","Jaeger, M.","Nielsen, T. D.","Larsen, K. G.","Nielsen, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Hua"],"propositions":[],"lastnames":["Mao"],"suffixes":[]},{"firstnames":["Yingke"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Jaeger"],"suffixes":[]},{"firstnames":["Thomas","D."],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]},{"firstnames":["Kim","G."],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Brian"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]}],"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","bibtex":"@article{DBLP:journals/ml/MaoCJNLN16,\n author = {Hua Mao and\n Yingke Chen and\n Manfred Jaeger and\n Thomas D. Nielsen and\n Kim G. Larsen and\n Brian Nielsen},\n title = {Learning deterministic probabilistic automata from a model checking\n perspective},\n journal = {Mach. Learn.},\n volume = {105},\n number = {2},\n pages = {255--299},\n year = {2016},\n url = {https://doi.org/10.1007/s10994-016-5565-9},\n doi = {10.1007/s10994-016-5565-9},\n timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/ml/MaoCJNLN16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mao, H.","Chen, Y.","Jaeger, M.","Nielsen, T. D.","Larsen, K. G.","Nielsen, B."],"key":"DBLP:journals/ml/MaoCJNLN16","id":"DBLP:journals/ml/MaoCJNLN16","bibbaseid":"mao-chen-jaeger-nielsen-larsen-nielsen-learningdeterministicprobabilisticautomatafromamodelcheckingperspective-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10994-016-5565-9"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.ia.uned.es/~mluque/areamates.bib","creationDate":"2020-06-01T06:07:00.878Z","downloads":0,"keywords":[],"search_terms":["learning","deterministic","probabilistic","automata","model","checking","perspective","mao","chen","jaeger","nielsen","larsen","nielsen"],"title":"Learning deterministic probabilistic automata from a model checking perspective","year":2016,"dataSources":["eWxXy4YzfNoBwpTjL"]}