Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
520 Publications
2013 |
Published |
Conference Paper |
IST-REx-ID: 2305 |
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2329 |
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2444 |
K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2446 |
K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Research Data Reference |
IST-REx-ID: 9749
B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma .” Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5399 |
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5400 |
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5403 |
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5404 |
K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5405 |
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5406 |
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5408 |
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5409 |
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5410 |
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2715 |
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 2012, vol. 18, pp. 461–473.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2848 |
K. Chatterjee, D. Zufferey, and M. Nowak, “Evolutionary game dynamics in populations with different learners,” Journal of Theoretical Biology, vol. 301. Elsevier, pp. 161–173, 2012.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2012 |
Published |
Conference Paper |
IST-REx-ID: 2916 |
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface Simulation Distances,” in Electronic Proceedings in Theoretical Computer Science, Napoli, Italy, 2012, vol. 96, pp. 29–42.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 2936 |
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Finite automata with time delay blocks,” in roceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 43–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 2947 |
K. Chatterjee, M. Chmelik, and R. Majumdar, “Equivalence of games with probabilistic uncertainty and partial observation games,” presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 385–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 2955 |
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv