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.
@inproceedings{BolligC04,
title = {Controller Synthesis for Probabilistic Systems},
author = {Christel Baier and Marcus Größer and Martin Leucker and Benedikt Bollig and Frank Ciesinski},
year = {2004},
researchr = {https://researchr.org/publication/BolligC04},
cites = {0},
citedby = {0},
pages = {493-506},
booktitle = {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},
editor = {Jean-Jacques Lévy and Ernst W. Mayr and John C. Mitchell},
publisher = {Kluwer},
isbn = {1-4020-8140-5},
}