Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata

TitleDeciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
Publication TypeConference Paper
Year of Publication2014
AuthorsBertrand, N, Brihaye T, Genest B
Conference NameQuantitative Evaluation of Systems - 11th International Conference, {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-319-10696-0_25
DOI10.1007/978-3-319-10696-0_25