Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives

Krishnendu Chatterjee; Monika Henzinger; Joglekar Manas; Sha Nisarg

doi:10.1007/978-3-642-22110-1_21

Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives

Krishnendu Chatterjee, Monika Henzinger, Joglekar Manas, Sha Nisarg

Research Group Theory and Applications of Algorithms

Publications: Contribution to book › Contribution to proceedings

Original language	English
Title of host publication	CAV
Subtitle of host publication	Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Editors	Ganesh Gopalakrishnan, Shaz Qadeer
Place of Publication	Berlin Heidelberg
Publisher	Springer
Pages	260-276
DOIs	https://doi.org/10.1007/978-3-642-22110-1_21
Publication status	Published - 2011

Publication series

Series	Lecture Notes in Computer Science
Volume	6806

Austrian Fields of Science 2012

1020 Computer Sciences

Access to Document

10.1007/978-3-642-22110-1_21

Cite this

Chatterjee, K., Henzinger, M., Manas, J., & Nisarg, S. (2011). Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. In G. Gopalakrishnan, & S. Qadeer (Eds.), CAV: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings (pp. 260-276). Springer. https://doi.org/10.1007/978-3-642-22110-1_21

Chatterjee, Krishnendu ; Henzinger, Monika ; Manas, Joglekar et al. / Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. CAV: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. editor / Ganesh Gopalakrishnan ; Shaz Qadeer. Berlin Heidelberg : Springer, 2011. pp. 260-276 (Lecture Notes in Computer Science, Vol. 6806).

@inproceedings{c2a5cf2e19d24ed1ba0b3c39a2ea791b,

title = "Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with B{\"u}chi Objectives",

author = "Krishnendu Chatterjee and Monika Henzinger and Joglekar Manas and Sha Nisarg",

note = "Host publication data : Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, Berlin [u.a.] ; Springer",

year = "2011",

doi = "10.1007/978-3-642-22110-1_21",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "260--276",

editor = "Ganesh Gopalakrishnan and Shaz Qadeer",

booktitle = "CAV",

}

Chatterjee, K, Henzinger, M, Manas, J & Nisarg, S 2011, Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. in G Gopalakrishnan & S Qadeer (eds), CAV: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Springer, Berlin Heidelberg, Lecture Notes in Computer Science, vol. 6806, pp. 260-276. https://doi.org/10.1007/978-3-642-22110-1_21

Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. / Chatterjee, Krishnendu; Henzinger, Monika; Manas, Joglekar et al.
CAV: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. ed. / Ganesh Gopalakrishnan; Shaz Qadeer. Berlin Heidelberg: Springer, 2011. p. 260-276 (Lecture Notes in Computer Science, Vol. 6806).

Publications: Contribution to book › Contribution to proceedings

TY - GEN

T1 - Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives

AU - Chatterjee, Krishnendu

AU - Henzinger, Monika

AU - Manas, Joglekar

AU - Nisarg, Sha

N1 - Host publication data : Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, Berlin [u.a.] ; Springer

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-22110-1_21

DO - 10.1007/978-3-642-22110-1_21

M3 - Contribution to proceedings

T3 - Lecture Notes in Computer Science

SP - 260

EP - 276

BT - CAV

A2 - Gopalakrishnan, Ganesh

A2 - Qadeer, Shaz

PB - Springer

CY - Berlin Heidelberg

ER -

Chatterjee K, Henzinger M, Manas J, Nisarg S. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. In Gopalakrishnan G, Qadeer S, editors, CAV: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Berlin Heidelberg: Springer. 2011. p. 260-276. (Lecture Notes in Computer Science, Vol. 6806). doi: 10.1007/978-3-642-22110-1_21