Controller Synthesis for Probabilistic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski. Controller Synthesis for Probabilistic Systems. In Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell, editors, Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France. pages 493-506, Kluwer, 2004.

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Marcus Größer' in GoogleThis author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. Look up 'Benedikt Bollig' in GoogleThis author has not been identified. Look up 'Frank Ciesinski' in Google

runs on WebDSL