Almost-Sure Model-Checking of Reactive Timed Automata

TitleAlmost-Sure Model-Checking of Reactive Timed Automata
Publication TypeConference Paper
Year of Publication2012
AuthorsBouyer, P, Brihaye T, Jurdzinski M, Menet Q
Conference NameNinth International Conference on Quantitative Evaluation of Systems, {QEST} 2012, London, United Kingdom, September 17-20, 2012
URLhttp://dx.doi.org/10.1109/QEST.2012.10
DOI10.1109/QEST.2012.10