en
Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
344 Publications
2013 | Conference Paper | IST-REx-ID: 2446 
Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.
View
| DOI
| Download (ext.)
| arXiv
2013 | Technical Report | IST-REx-ID: 5403
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1374
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23. 181–196.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2000
Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044. 101–106.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2858
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2295
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5408
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5410
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5377
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2955
Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science
View
| Files available
| DOI
| Download (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2936
Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. roceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software 43–52.
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 496
Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many branches. LICS: Symposium on Logic in Computer Science, LICS,
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2715
Chatterjee K, Joglekar M, Shah N. 2012. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18. 461–473.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3846
Chatterjee K, Henzinger TA. 2012. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 78(2), 394–413.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2848
Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301, 161–173.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3341
Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213. 270–285.
View
| Files available
| DOI
| Download (ext.)
| arXiv