Learning deterministic probabilistic automata from a model checking perspective

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)
191 Downloads (Pure)
Original languageEnglish
JournalMachine Learning
Volume105
Issue number2
Pages (from-to)255-299
Number of pages45
ISSN0885-6125
DOIs
Publication statusPublished - 2016

Fingerprint

Model checking
Learning algorithms
Temporal logic
Hardware

Cite this

@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.

In: Machine Learning, Vol. 105, No. 2, 2016, p. 255-299.

Research output: Contribution to journalJournal articleResearchpeer-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 -