Learning Probabilistic Automata for Model Checking

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

25 Citationer (Scopus)
638 Downloads (Pure)
OriginalsprogEngelsk
Titel8th International Conference on Quantitative Evaluation of Systems (QEST)
Antal sider10
ForlagIEEE
Publikationsdato2011
Sider111-120
ISBN (Trykt)978-1-4577-0973-9
DOI
StatusUdgivet - 2011
BegivenhedQuantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on - Aachen, Tyskland
Varighed: 5 aug. 20118 aug. 2011

Konference

KonferenceQuantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
LandTyskland
ByAachen
Periode05/08/201108/08/2011

Citer dette

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G., & Nielsen, B. (2011). Learning Probabilistic Automata for Model Checking. I 8th International Conference on Quantitative Evaluation of Systems (QEST) (s. 111-120). IEEE. https://doi.org/10.1109/QEST.2011.21
Mao, Hua ; Chen, Yingke ; Jaeger, Manfred ; Nielsen, Thomas Dyhre ; Larsen, Kim Guldstrand ; Nielsen, Brian. / Learning Probabilistic Automata for Model Checking. 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. s. 111-120
@inproceedings{c9ff3d946e804827b184a1b8ceed7c2f,
title = "Learning Probabilistic Automata for Model Checking",
author = "Hua Mao and Yingke Chen and Manfred Jaeger and Nielsen, {Thomas Dyhre} and Larsen, {Kim Guldstrand} and Brian Nielsen",
year = "2011",
doi = "10.1109/QEST.2011.21",
language = "English",
isbn = "978-1-4577-0973-9",
pages = "111--120",
booktitle = "8th International Conference on Quantitative Evaluation of Systems (QEST)",
publisher = "IEEE",
address = "United States",

}

Mao, H, Chen, Y, Jaeger, M, Nielsen, TD, Larsen, KG & Nielsen, B 2011, Learning Probabilistic Automata for Model Checking. i 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, s. 111-120, Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on, Aachen, Tyskland, 05/08/2011. https://doi.org/10.1109/QEST.2011.21

Learning Probabilistic Automata for Model Checking. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas Dyhre; Larsen, Kim Guldstrand; Nielsen, Brian.

8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. s. 111-120.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Learning Probabilistic Automata for Model Checking

AU - Mao, Hua

AU - Chen, Yingke

AU - Jaeger, Manfred

AU - Nielsen, Thomas Dyhre

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

PY - 2011

Y1 - 2011

U2 - 10.1109/QEST.2011.21

DO - 10.1109/QEST.2011.21

M3 - Article in proceeding

SN - 978-1-4577-0973-9

SP - 111

EP - 120

BT - 8th International Conference on Quantitative Evaluation of Systems (QEST)

PB - IEEE

ER -

Mao H, Chen Y, Jaeger M, Nielsen TD, Larsen KG, Nielsen B. Learning Probabilistic Automata for Model Checking. I 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE. 2011. s. 111-120 https://doi.org/10.1109/QEST.2011.21