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

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

Content
Grafik
Authors
  • Chatterjee, Krishnendu
  • Henzinger, Monika
  • Joglekar, Manas
  • Shah, Nisarg
Grafik Top
Projects
Grafik Top
Shortfacts
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
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.