Learning Probabilistic Automata for Model Checking

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

42 Citations (Scopus)
951 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
Country/TerritoryGermany
CityAachen
Period05/08/201108/08/2011

Cite this