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.
2419 Publications
2013 | Conference Paper | IST-REx-ID: 2295 | 
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with omega-regular objectives,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 165–180, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5403 |
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5404 |
K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
View
| Files available
| DOI
2013 | 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.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5409 |
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
View
| Files available
| DOI