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}
}
Downloads: 0
{"_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"]}