Learning Probabilistic Automata for Model Checking

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

28 Citations (Scopus)
672 Downloads (Pure)
Original languageEnglish
Title of host publication8th International Conference on Quantitative Evaluation of Systems (QEST)
Number of pages10
PublisherIEEE
Publication date2011
Pages111-120
ISBN (Print)978-1-4577-0973-9
DOIs
Publication statusPublished - 2011
EventQuantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on - Aachen, Germany
Duration: 5 Aug 20118 Aug 2011

Conference

ConferenceQuantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
CountryGermany
CityAachen
Period05/08/201108/08/2011

Cite this

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G., & Nielsen, B. (2011). Learning Probabilistic Automata for Model Checking. In 8th International Conference on Quantitative Evaluation of Systems (QEST) (pp. 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. pp. 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. in 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 111-120, Aachen, Germany, 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. p. 111-120.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. In 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE. 2011. p. 111-120 https://doi.org/10.1109/QEST.2011.21