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.

333 Publications


2018 | Book Chapter | IST-REx-ID: 59
Bloem R, Chatterjee K, Jobstmann B. 2018. Graph games and reactive synthesis. Handbook of Model Checking. 921–962.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 66   OA
Chatterjee K, Goharshady A, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118. 11.
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee K, Elgyütt A, Novotny P, Rouillé O. 2018. Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018. 4692–4699.
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 310   OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. 2018. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter. SODA: Symposium on Discrete Algorithms, SODA, 2341–2356.
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 454   OA
Reiter J, Hilbe C, Rand D, Chatterjee K, Nowak M. 2018. Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness. Nature Communications. 9(1), 555.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6009   OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 40(3), 9.
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5993   OA
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2018. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM Transactions on Programming Languages and Systems. 40(2), 7.
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6340   OA
Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE International Conference on Blockchain 1343–1348.
View | Files available | arXiv
 

2018 | Journal Article | IST-REx-ID: 738   OA
Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. 2018. Automated competitive analysis of real time scheduling with graph games. Real-Time Systems. 54(1), 166–207.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 79   OA
Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024. 53–70.
View | DOI | Download (ext.) | arXiv
 

2018 | Book Chapter | IST-REx-ID: 86   OA
Chatterjee K, Henzinger TA, Otop J. 2018. Computing average response time. Principles of Modeling. , LNCS, vol. 10760. 143–161.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5967   OA
Hansen KA, Ibsen-Jensen R, Neyman A. 2018. The Big Match with a clock and a bit of memory. Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18. EC: Conference on Economics and Computation 149–150.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 25
Horák K, Bošanský B, Chatterjee K. 2018. Goal-HSVI: Heuristic search value iteration for goal-POMDPs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018–July. 4764–4770.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 311   OA
Chatterjee K, Goharshady A, Velner Y. 2018. Quantitative analysis of smart contracts. ESOP: European Symposium on Programming, LNCS., vol. 10801. 739–767.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 157   OA
Hilbe C, Šimsa Š, Chatterjee K, Nowak M. 2018. Evolution of cooperation in stochastic games. Nature. 559(7713), 246–249.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 141   OA
Chatterjee K, Henzinger M, Loitzenbauer V, Oraee S, Toman V. 2018. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. CAV: Computer Aided Verification, LNCS, vol. 10982. 178–197.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 2   OA
Hilbe C, Schmid L, Tkadlec J, Chatterjee K, Nowak M. 2018. Indirect reciprocity with private noisy and incomplete information. PNAS. 115(48), 12241–12246.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 297   OA
Brázdil T, Chatterjee K, Kretinsky J, Toman V. 2018. Strategy representation by decision trees in reactive synthesis. TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10805. 385–407.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325   OA
Agrawal S, Chatterjee K, Novotny P. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. POPL: Principles of Programming Languages vol. 2.
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 34   OA
Chatterjee K, Chemlík M, Topcu U. 2018. Sensor synthesis for POMDPs with reachability objectives. ICAPS: International Conference on Automated Planning and Scheduling, ICAPS, vol. 2018. 47–55.
View | Download (ext.) | arXiv
 

Filters and Search Terms

department=KrCh

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed