Go to the corresponding LIPIcs Volume Portal 
Chatterjee, Krishnendu ; Joglekar, Manas ; Shah, Nisarg
pdfformat: 

@InProceedings{chatterjee_et_al:LIPIcs:2012:3881, author = {Krishnendu Chatterjee and Manas Joglekar and Nisarg Shah}, title = {{Average Case Analysis of the Classical Algorithm for Markov Decision Processes with B{\"u}chi Objectives}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) }, pages = {461473}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897477}, ISSN = {18688969}, year = {2012}, volume = {18}, editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2012/3881}, URN = {urn:nbn:de:0030drops38817}, doi = {10.4230/LIPIcs.FSTTCS.2012.461}, annote = {Keywords: MDPs, Buchi objectives, Average case analysis} }
Keywords:  MDPs, Buchi objectives, Average case analysis  
Seminar:  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)  
Issue Date:  2012  
Date of publication:  10.12.2012 