Items where Author is "Larsen, Kim G."
Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Mao, Hua, Chen, Yingke, Jaeger, Manfred, Nielsen, Thomas D., Larsen, Kim G. and Nielsen, Brian (2016) Learning deterministic probabilistic automata from a model checking perspective. Machine Learning, 105 (2). pp. 255-299. ISSN 0885-6125