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.

336 Publications


2018 | Conference Paper | IST-REx-ID: 297   OA
Brázdil T, Chatterjee K, Kretinsky J, Toman V. Strategy representation by decision trees in reactive synthesis. In: Vol 10805. Springer; 2018:385-407. doi:10.1007/978-3-319-89960-2_21
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 293   OA
Hoffman M, Hilbe C, Nowak M. The signal-burying game can explain why we obscure positive traits and good deeds. Nature Human Behaviour. 2018;2:397-404. doi:10.1038/s41562-018-0354-z
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325   OA
Agrawal S, Chatterjee K, Novotny P. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In: Vol 2. ACM; 2018. doi:10.1145/3158122
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 34   OA
Chatterjee K, Chemlík M, Topcu U. Sensor synthesis for POMDPs with reachability objectives. In: Vol 2018. AAAI Press; 2018:47-55.
View | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 419   OA
Hilbe C, Chatterjee K, Nowak M. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2018;2:469–477. doi:10.1038/s41562-018-0320-9
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5679   OA
Huang M, Fu H, Chatterjee K. New approaches for almost-sure termination of probabilistic programs. In: Ryu S, ed. Vol 11275. Springer; 2018:181-201. doi:10.1007/978-3-030-02768-1_11
View | DOI | Download (ext.) | arXiv
 

2018 | Preprint | IST-REx-ID: 5977   OA
Chatterjee K, Fu H, Goharshady A, Okati N. Computational Approaches for Stochastic Shortest Path on Succinct MDPs. ArXiv.
View | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5751
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak MA. Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology. 2018;1(1):71. doi:10.1038/s42003-018-0078-7
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1065   OA
Chatterjee K, Osang GF. Pushdown reachability with constant treewidth. Information Processing Letters. 2017;122:25-29. doi:10.1016/j.ipl.2017.02.003
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006
View | Files available | DOI | Download (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 465
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. Logical Methods in Computer Science. 2017;13(3). doi:10.23638/LMCS-13(3:23)2017
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681   OA
Chatterjee K, Doyen L, Filiot E, Raskin J. Doomsday equilibria for omega-regular games. Information and Computation. 2017;254:296-315. doi:10.1016/j.ic.2016.10.012
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 744   OA
Priklopil T, Chatterjee K, Nowak M. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. 2017;433:64-72. doi:10.1016/j.jtbi.2017.08.025
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 821   OA
Pavlogiannis A. Algorithmic Advances in Program Analysis and Their Applications. IST Austria; 2017. doi:10.15479/AT:ISTA:th_854
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009   OA
Chatterjee K, Novotny P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
View | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1011   OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 1080   OA
Reiter J, Makohon Moore A, Gerold J, et al. Reconstructing metastatic seeding patterns of human cancers. Nature Communications. 2017;8. doi:10.1038/ncomms14114
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1294
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 466
Chatterjee K, Křetínská Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 2017;13(2). doi:10.23638/LMCS-13(2:15)2017
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
View | Files available | DOI
 

Filters and Search Terms

department=KrCh

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed