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.
356 Publications
2010 | Conference Paper | IST-REx-ID: 3866 |

Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |

Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3863 |

Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3861 |

Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |

Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
View
| DOI
| Download Published Version (ext.)
2010 | Technical Report | IST-REx-ID: 5390 |

Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5388 |

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3855 |

Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4388 |

Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
View
| Files available
| DOI
| arXiv