Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria Svorenova, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 259-268, ACM, 2015. [doi]

This author has not been identified. Look up 'Maria Svorenova' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'Martin Chmelik' in GoogleThis author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Ivana Cerná' in GoogleThis author has not been identified. Look up 'Calin Belta' in Google

runs on WebDSL