scispace - formally typeset
K

Krishnendu Chatterjee

Researcher at Institute of Science and Technology Austria

Publications -  574
Citations -  14189

Krishnendu Chatterjee is an academic researcher from Institute of Science and Technology Austria. The author has contributed to research in topics: Markov decision process & Probabilistic logic. The author has an hindex of 54, co-authored 551 publications receiving 12505 citations. Previous affiliations of Krishnendu Chatterjee include University of California, Berkeley & University of California, Santa Cruz.

Papers
More filters
Journal ArticleDOI

Algorithms for Omega-Regular Games with Imperfect Information

TL;DR: An algorithm for computing the set of states from which a player can win with probability 1 with a randomized observation-based strategy for a Buechi objective is given and it is shown that these algorithms are optimal by proving matching lower bounds.
Proceedings ArticleDOI

Assigning trust to Wikipedia content

TL;DR: A system that computes quantitative values of trust for the text in Wikipedia articles; these trust values provide an indication of text reliability, and it is shown that text labeled as low-trust has a significantly higher probability of being edited in the future than text labeling as high-trust.
Book ChapterDOI

Better Quality in Synthesis through Quantitative Objectives

TL;DR: In this paper, the synthesis of optimal implementations requires the solution of lexicographic mean-payoff games (for safety requirements), and games with both lexicoographic mean payoff and parity objectives (for liveness requirements).