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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




331 Publications

2018 | Journal Article | IST-REx-ID: 157
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: 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 | 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 | Journal Article | IST-REx-ID: 293
Hoffman M, Hilbe C, Nowak M. 2018. The signal-burying game can explain why we obscure positive traits and good deeds. Nature Human Behaviour. 2, 397–404.
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
 
2018 | Journal Article | IST-REx-ID: 419
Hilbe C, Chatterjee K, Nowak M. 2018. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2, 469–477.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed