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.




373 Publications

2018 | Conference Paper | IST-REx-ID: 143
Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotny, D. Velan, F. Zuleger, in:, IEEE, 2018.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 198   OA
Language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
View | Files available | DOI | Download (ext.)
 
2018 | Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Modeling Checking, 1st ed., Springer, 2018, pp. 921–962.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 66   OA
Ergodic mean-payo games for the analysis of attacks in crypto-currencies
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 35
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, AAAI Press, 2018.
View | Download (ext.)
 
2018 | Conference Paper | IST-REx-ID: 24
Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
K. Chatterjee, A. Elgyütt, P. Novotny, O. Rouillé, in:, IJCAI, 2018.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 454   OA
Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 79
Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018.
View | DOI
 
2018 | Book Chapter | IST-REx-ID: 86
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 310
Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, ACM, 2018.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 311   OA
Quantitative analysis of smart contracts
K. Chatterjee, A. Goharshady, Y. Velner, in:, Springer, 2018.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 157
Evolution of cooperation in stochastic games
C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018).
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 25
Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, IJCAI, 2018.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 56   OA
Infinite-duration Poorman-bidding games
G. Avni, R. Ibsen-Jensen, T.A. Henzinger, in:, Unknown, 2018.
View | Download (ext.)
 
2018 | Conference Paper | IST-REx-ID: 297   OA
Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 141   OA
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 2
Indirect reciprocity with private noisy and incomplete information
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, M. Nowak, PNAS 115 (2018).
View | Download (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 5751   OA
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 293
The signal-burying game can explain why we obscure positive traits and good deeds
M. Hoffman, C. Hilbe, M. Nowak, Nature Human Behaviour 2 (2018) 397–404.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 419
Partners and rivals in direct reciprocity
C. Hilbe, K. Chatterjee, M. Nowak, Nature Human Behaviour 2 (2018).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed