Learning deterministic probabilistic automata from a model checking perspective

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

11 Citationer (Scopus)
183 Downloads (Pure)
OriginalsprogEngelsk
TidsskriftMachine Learning
Vol/bind105
Udgave nummer2
Sider (fra-til)255-299
Antal sider45
ISSN0885-6125
DOI
StatusUdgivet - 2016

Fingerprint

Model checking
Learning algorithms
Temporal logic
Hardware

Citer dette

@article{4a58748ecd1947aaaf24416cc9d2ba20,
title = "Learning deterministic probabilistic automata from a model checking perspective",
author = "Hua Mao and Yingke Chen and Manfred Jaeger and Nielsen, {Thomas D.} and Larsen, {Kim G.} and Brian Nielsen",
year = "2016",
doi = "10.1007/s10994-016-5565-9",
language = "English",
volume = "105",
pages = "255--299",
journal = "Machine Learning",
issn = "0885-6125",
publisher = "Springer",
number = "2",

}

Learning deterministic probabilistic automata from a model checking perspective. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian.

I: Machine Learning, Bind 105, Nr. 2, 2016, s. 255-299.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Learning deterministic probabilistic automata from a model checking perspective

AU - Mao, Hua

AU - Chen, Yingke

AU - Jaeger, Manfred

AU - Nielsen, Thomas D.

AU - Larsen, Kim G.

AU - Nielsen, Brian

PY - 2016

Y1 - 2016

U2 - 10.1007/s10994-016-5565-9

DO - 10.1007/s10994-016-5565-9

M3 - Journal article

VL - 105

SP - 255

EP - 299

JO - Machine Learning

JF - Machine Learning

SN - 0885-6125

IS - 2

ER -