Learning deterministic probabilistic automata from a model checking perspective
Crossref DOI link: https://doi.org/10.1007/s10994-016-5565-9
Published Online: 2016-05-18
Published Print: 2016-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mao, Hua
Chen, Yingke
Jaeger, Manfred
Nielsen, Thomas D.
Larsen, Kim G.
Nielsen, Brian
Text and Data Mining valid from 2016-05-18