Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman. Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. In Sriram Sankaranarayanan, Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Volume 9268 of Lecture Notes in Computer Science, pages 140-155, Springer, 2015. [doi]

This author has not been identified. Look up 'Aleksandra Jovanovic' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. It may be one of the following persons:

Gethin J. Norman

Look up 'Gethin Norman' in Google

runs on WebDSL