You are here

Home › Research › Publications ›

Controller Synthesis for Probabilistic Systems

TitleController Synthesis for Probabilistic Systems
Publication TypeConference Paper
Year of Publication2004
AuthorsBaier, C, Größer, M, Leucker, M, Benedikt Bollig, Ciesinski, F
Conference NameProceedings of the IFIP International Conference on Theoretical Computer Science, IFIP TCS2004
PublisherKluwer
URLhttp://web.informatik.uni-bonn.de/I/baier/papers/BGLBC.pdf
Bibtex: 
@inproceedings {BGLBC04,
	title = {Controller Synthesis for Probabilistic Systems},
	booktitle = {Proceedings of the IFIP International Conference on Theoretical Computer Science, IFIP TCS2004},
	year = {2004},
	publisher = {Kluwer},
	organization = {Kluwer},
	url = {http://web.informatik.uni-bonn.de/I/baier/papers/BGLBC.pdf},
	author = {Christel Baier and Marcus Gr{\"o}{\ss}er and Martin Leucker and Benedikt Bollig and Frank Ciesinski}
}