Learning Probabilistic Automata for Model Checking

Hua Mao; Yingke Chen; Manfred Jaeger; Thomas Dyhre Nielsen; Kim Guldstrand Larsen; Brian Nielsen

doi:10.1109/QEST.2011.21

Learning Probabilistic Automata for Model Checking

Hua Mao, Yingke Chen, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

43 Citations (Scopus)

1063 Downloads (Pure)

Original language	English
Title of host publication	8th International Conference on Quantitative Evaluation of Systems (QEST)
Number of pages	10
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Publication date	2011
Pages	111-120
ISBN (Print)	978-1-4577-0973-9
DOIs	https://doi.org/10.1109/QEST.2011.21
Publication status	Published - 2011
Event	Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on - Aachen, Germany Duration: 5 Aug 2011 → 8 Aug 2011

Conference

Conference	Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on
Country/Territory	Germany
City	Aachen
Period	05/08/2011 → 08/08/2011

Access to Document

10.1109/QEST.2011.21

QEST11.pdfSubmitted manuscript, 193 KB

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6042035

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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 (Institute of Electrical and Electronics Engineers)",

address = "United States",

note = "Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on ; Conference date: 05-08-2011 Through 08-08-2011",

}

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 (Institute of Electrical and Electronics Engineers), pp. 111-120, Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on, 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 et al.
8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE (Institute of Electrical and Electronics Engineers), 2011. p. 111-120.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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 (Institute of Electrical and Electronics Engineers)

T2 - Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on

Y2 - 5 August 2011 through 8 August 2011

ER -