ISTA Research Explorer

Please note that ISTA 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.

472 Publications

2011 | Published | Conference Paper | IST-REx-ID: 3343 |

Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2011 | Published | Conference Paper | IST-REx-ID: 3344

Graph games with reachability objectives
K. Chatterjee, in:, G. Delzanno, I. Potapov (Eds.), Springer, 2011, pp. 1–1.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3345 |

Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2011 | Published | Conference Paper | IST-REx-ID: 3346 |

Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2011 | Published | Conference Paper | IST-REx-ID: 3347 |

Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2011 | Published | Conference Paper | IST-REx-ID: 3348 |

Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2011 | Published | Conference Paper | IST-REx-ID: 3349 |

A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2011 | Published | Conference Paper | IST-REx-ID: 3350

Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3351 |

On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 3354

Qualitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 12 (2011).

View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3356 |

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3357

The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3361 |

The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.

[Submitted Version] View | Files available | DOI

2011 | Submitted | Preprint | IST-REx-ID: 3363 |

The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).

[Preprint] View | Download Preprint (ext.) | arXiv

2011 | Published | Conference Paper | IST-REx-ID: 3365 |

QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3366 |

Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4388 |

GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.

[Submitted Version] View | Files available | DOI | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 489 |

How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.

[Published Version] View | DOI | Download Published Version (ext.)

2010 | Published | Technical Report | IST-REx-ID: 5388 |

Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5390 |

Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.

[Published Version] View | Files available | DOI

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

472 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

472 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options