Logo der Universität Wien

Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives

Authors
Grafik Top
Citation
Category
Journal Paper
Divisions
Theory and Applications of Algorithms
Journal or Publication Title
Formal Methods in System Design
ISSN
0925-9856
Publisher
Kluwer
Page Range
pp. 301-327
Number
3
Volume
42
Date
June 2013
Export
Grafik Top
Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna