Learning deterministic probabilistic automata from a model checking perspective

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen

Journal title: Machine Learning

Journal number: 105/2

Journal publisher: Kluwer Academic Publishers

Published year: 2016

Published pages: 255-299

DOI identifier: 10.1007/s10994-016-5565-9

ISSN: 0885-6125