 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Brazdil-Forejt-Kucera/08" |
|
Controller synthesis and verification for Markov decision processes with qualitative branching time objectives
Tomás̑ Brázdil, Vojtȇch Forejt, Antonín Kuc̑era
Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)
Lecture Notes in Computer Science
5126
, 2008, pp. 148-159
| Editors | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-540-70583-3_13 | |
|
|
|
|