%0 Conference Paper %1 conf/cav/ChatterjeeHJS11 %A Chatterjee, Krishnendu %A Henzinger, Monika %A Joglekar, Manas %A Shah, Nisarg %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K dblp %P 260-276 %T Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#ChatterjeeHJS11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/ChatterjeeHJS11, added-at = {2018-10-03T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Henzinger, Monika and Joglekar, Manas and Shah, Nisarg}, biburl = {https://www.bibsonomy.org/bibtex/2a9de23c1e433e2d625e9f10cbfbed3d0/dblp}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://doi.org/10.1007/978-3-642-22110-1_21}, interhash = {806d9bcdb5f8d8cabeeabd705027f611}, intrahash = {a9de23c1e433e2d625e9f10cbfbed3d0}, isbn = {978-3-642-22109-5}, keywords = {dblp}, pages = {260-276}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#ChatterjeeHJS11}, volume = 6806, year = 2011 }