Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
- Chatterjee, Krishnendu
- Henzinger, Monika
- Joglekar, Manas
- Shah, Nisarg
![Grafik](/style/images/pfeil_up_dunkelblau.gif)
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](/style/images/pfeil_up_dunkelblau.gif)