360 Publications

Mark all

[360]
2020 | Journal Article | IST-REx-ID: 7212 | OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology 16 (2020). https://doi.org/10.1371/journal.pcbi.1007494.
View | Files available | DOI | arXiv
 
[359]
2020 | Conference Paper | IST-REx-ID: 7346 | OA
Schmid, Laura, Krishnendu Chatterjee, and Stefan Schmid. “The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game.” In Proceedings of the 23rd International Conference on Principles of Distributed Systems, Vol. 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21.
View | Files available | DOI | arXiv
 
[358]
2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-44914-8_5.
View | Files available | DOI
 
[357]
2020 | Conference Paper | IST-REx-ID: 7955 | OA
Ashok, Pranav, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, and Tobias Winkler. “Approximating Values of Generalized-Reachability Stochastic Games.” In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , 102–15. Association for Computing Machinery, n.d. https://doi.org/10.1145/3373718.3394761.
View | DOI | Download Preprint (ext.) | arXiv
 
[356]
2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 672–87. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385969.
View | DOI | Download Preprint (ext.) | arXiv
 
[355]
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
View | Files available | DOI | arXiv
 
[354]
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.
View | Files available
 
[353]
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3363525.
View | DOI
 
[352]
2019 | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
View | DOI | Download Preprint (ext.) | arXiv
 
[351]
2019 | Journal Article | IST-REx-ID: 7210 | OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology 2 (2019). https://doi.org/10.1038/s42003-019-0373-y.
View | Files available | DOI | PubMed | Europe PMC
 
[350]
2019 | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706.
View | DOI | Download Preprint (ext.) | arXiv
 
[349]
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI
 
[348]
2019 | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
View | DOI | Download Preprint (ext.) | arXiv
 
[347]
2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.
View | Files available | DOI | arXiv
 
[346]
2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:374–81. ACM, 2019. https://doi.org/10.1145/3297280.3297319.
View | Files available | DOI
 
[345]
2019 | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages 3, no. POPL (2019). https://doi.org/10.1145/3290366.
View | Files available | DOI
 
[344]
2019 | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 
[343]
2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
View | Files available | DOI
 
[342]
2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019. https://doi.org/10.1145/3360555.
View | Files available | DOI | arXiv
 
[341]
2019 | Journal Article | IST-REx-ID: 6836 | OA
Hauser, Oliver P., Christian Hilbe, Krishnendu Chatterjee, and Martin A. Nowak. “Social Dilemmas among Unequals.” Nature 572, no. 7770 (2019): 524–27. https://doi.org/10.1038/s41586-019-1488-5.
View | Files available | DOI
 
[340]
2019 | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.27.
View | Files available | DOI
 
[339]
2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 
[338]
2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
View | Files available | DOI
 
[337]
2019 | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
View | DOI | Download Preprint (ext.) | arXiv
 
[336]
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3339984.
View | Files available | DOI | arXiv
 
[335]
2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” In Proceedings of the ACM on Programming Languages, Vol. 4. ACM, 2019. https://doi.org/10.1145/3371093.
View | Files available | DOI | arXiv
 
[334]
2018 | Journal Article | IST-REx-ID: 2 | OA
Hilbe, Christian, Laura Schmid, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.” PNAS 115, no. 48 (2018): 12241–46. https://doi.org/10.1073/pnas.1810565115.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
[333]
2018 | Conference Paper | IST-REx-ID: 24 | OA
Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotny, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,” 2018:4692–99. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/652.
View | DOI | Download Preprint (ext.) | arXiv
 
[332]
2018 | Conference Paper | IST-REx-ID: 25
Horák, Karel, Branislav Bošanský, and Krishnendu Chatterjee. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018–July:4764–70. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/662.
View | DOI
 
[331]
2018 | Journal Article | IST-REx-ID: 738 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.” Real-Time Systems 54, no. 1 (2018): 166–207. https://doi.org/10.1007/s11241-017-9293-4.
View | Files available | DOI
 
[330]
2018 | Conference Paper | IST-REx-ID: 79 | OA
Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.
View | DOI | Download Preprint (ext.) | arXiv
 
[329]
2018 | Journal Article | IST-REx-ID: 419 | OA
Hilbe, Christian, Krishnendu Chatterjee, and Martin Nowak. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour 2 (2018): 469–477. https://doi.org/10.1038/s41562-018-0320-9.
View | Files available | DOI
 
[328]
2018 | Journal Article | IST-REx-ID: 454 | OA
Reiter, Johannes, Christian Hilbe, David Rand, Krishnendu Chatterjee, and Martin Nowak. “Crosstalk in Concurrent Repeated Games Impedes Direct Reciprocity and Requires Stronger Levels of Forgiveness.” Nature Communications 9, no. 1 (2018). https://doi.org/10.1038/s41467-017-02721-8.
View | Files available | DOI
 
[327]
2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches for Almost-Sure Termination of Probabilistic Programs.” edited by Sukyoung Ryu, 11275:181–201. Springer, 2018. https://doi.org/10.1007/978-3-030-02768-1_11.
View | DOI | Download Preprint (ext.) | arXiv
 
[326]
2018 | Journal Article | IST-REx-ID: 5751 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin A. Nowak. “Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory.” Communications Biology 1, no. 1 (2018). https://doi.org/10.1038/s42003-018-0078-7.
View | Files available | DOI
 
[325]
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, Krishnendu Chatterjee, and Barbara Jobstmann. “Graph Games and Reactive Synthesis.” In Handbook of Model Checking, edited by Thomas A Henzinger, Edmund M. Clarke, Helmut Veith, and Roderick Bloem, 1st ed., 921–62. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_27.
View | DOI
 
[324]
2018 | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
View | DOI | Download Preprint (ext.) | arXiv
 
[323]
2018 | Journal Article | IST-REx-ID: 5993 | OA
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.” ACM Transactions on Programming Languages and Systems 40, no. 2 (2018): 7. https://doi.org/10.1145/3174800.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
[322]
2018 | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems 40, no. 3 (2018): 9. https://doi.org/10.1145/3210257.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[321]
2018 | Conference Paper | IST-REx-ID: 297 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman. “Strategy Representation by Decision Trees in Reactive Synthesis,” 10805:385–407. Springer, 2018. https://doi.org/10.1007/978-3-319-89960-2_21.
View | Files available | DOI
 
[320]
2018 | Conference Paper | IST-REx-ID: 310 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151.
View | DOI | Download Preprint (ext.) | arXiv
 
[319]
2018 | Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. https://doi.org/10.1007/978-3-319-89884-1_26.
View | Files available | DOI
 
[318]
2018 | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018. https://doi.org/10.1109/Cybermatics_2018.2018.00231.
View | Files available | DOI | arXiv
 
[317]
2018 | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
[316]
2018 | Journal Article | IST-REx-ID: 157 | OA
Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak. “Evolution of Cooperation in Stochastic Games.” Nature 559, no. 7713 (2018): 246–49. https://doi.org/10.1038/s41586-018-0277-x.
View | Files available | DOI
 
[315]
2018 | Journal Article | IST-REx-ID: 198 | OA
Ibsen-Jensen, Rasmus, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Language Acquisition with Communication between Learners.” Journal of the Royal Society Interface 15, no. 140 (2018). https://doi.org/10.1098/rsif.2018.0073.
View | Files available | DOI
 
[314]
2018 | Book Chapter | IST-REx-ID: 86 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.” In Principles of Modeling, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018. https://doi.org/10.1007/978-3-319-95246-8_9.
View | Files available | DOI
 
[313]
2018 | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee, Krishnendu, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, and Viktor Toman. “Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives,” 10982:178–97. Springer, 2018. https://doi.org/10.1007/978-3-319-96142-2_13.
View | Files available | DOI
 
[312]
2018 | Conference Paper | IST-REx-ID: 143 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotny, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. https://doi.org/10.1145/3209108.3209191.
View | DOI | Download Preprint (ext.)
 
[311]
2018 | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotny. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,” Vol. 2. ACM, 2018. https://doi.org/10.1145/3158122.
View | DOI | Download Preprint (ext.) | arXiv
 
[310]
2018 | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.
View | Download Preprint (ext.) | arXiv
 
[309]
2018 | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In 28th International Conference on Automated Planning and Scheduling . AAAI Press, 2018.
View | Download None (ext.) | arXiv
 
[308]
2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.” Journal of the ACM 64, no. 5 (2017): 34. https://doi.org/10.1145/3121408.
View | DOI | Download Preprint (ext.) | arXiv
 
[307]
2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences 88 (2017): 236–59. https://doi.org/10.1016/j.jcss.2017.04.005.
View | Files available | DOI | Download Preprint (ext.)
 
[306]
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica 54, no. 6 (2017): 543–44. https://doi.org/10.1007/s00236-017-0299-0.
View | DOI
 
[305]
2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil, Tadeas, Krishnendu Chatterjee, and Martin Nowak. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology 433 (2017): 64–72. https://doi.org/10.1016/j.jtbi.2017.08.025.
View | Files available | DOI | PubMed | Europe PMC
 
[304]
2017 | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, Monika Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science 13, no. 3 (2017). https://doi.org/10.23638/LMCS-13(3:26)2017.
View | Files available | DOI
 
[303]
2017 | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science 13, no. 3 (2017). https://doi.org/10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 
[302]
2017 | Journal Article | IST-REx-ID: 466 | OA
Chatterjee, Krishnendu, Zuzana Křetínská, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science 13, no. 2 (2017). https://doi.org/10.23638/LMCS-13(2:15)2017.
View | Files available | DOI
 
[301]
2017 | Journal Article | IST-REx-ID: 467 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL) 18, no. 4 (2017). https://doi.org/10.1145/3152769.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[300]
2017 | Journal Article | IST-REx-ID: 512 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports 7, no. 1 (2017). https://doi.org/10.1038/s41598-017-00107-w.
View | Files available | DOI
 
[299]
2017 | Technical Report | IST-REx-ID: 5455 | OA
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 
[298]
2017 | Technical Report | IST-REx-ID: 5456 | OA
Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-872-v1-1.
View | Files available | DOI
 
[297]
2017 | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.61.
View | Files available | DOI
 
[296]
2017 | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, Monika Henzinger, and Alexander Svozil. “Faster Algorithms for Mean Payoff Parity Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.39.
View | Files available | DOI
 
[295]
2017 | Conference Paper | IST-REx-ID: 553 | OA
Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.55.
View | Files available | DOI | Download Published Version (ext.)
 
[294]
2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak . Strong Amplifiers of Natural Selection. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:51.
View | Files available | DOI
 
[293]
2017 | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost of Exactness in Quantitative Reachability.” In Models, Algorithms, Logics and Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare, 10460:367–81. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, 2017. https://doi.org/10.1007/978-3-319-63121-9_18.
View | Files available | DOI
 
[292]
2017 | Conference Paper | IST-REx-ID: 628 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Aniket Murhekar. “Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds.” edited by Rupak Majumdar and Viktor Kunčak, 10426:118–39. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_6.
View | DOI | Download Submitted Version (ext.)
 
[291]
2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
[290]
2017 | Conference Paper | IST-REx-ID: 645 | OA
Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretinsky, and Tobias Meggendorfer. “Value Iteration for Long Run Average Reward in Markov Decision Processes.” edited by Rupak Majumdar and Viktor Kunčak, 10426:201–21. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_10.
View | DOI | Download Submitted Version (ext.)
 
[289]
2017 | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Improved Set-Based Symbolic Algorithms for Parity Games,” Vol. 82. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017. https://doi.org/10.4230/LIPICS.CSL.2017.18.
View | Files available | DOI
 
[288]
2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore, Alvin, Ming Zhang, Johannes Reiter, Ivana Božić, Benjamin Allen, Deepanjan Kundu, Krishnendu Chatterjee, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.” Nature Genetics 49, no. 3 (2017): 358–66. https://doi.org/10.1038/ng.3764.
View | Files available | DOI
 
[287]
2017 | Journal Article | IST-REx-ID: 671 | OA
Hilbe, Christian, Vaquero Martinez, Krishnendu Chatterjee, and Martin Nowak. “Memory-n Strategies of Direct Reciprocity.” PNAS 114, no. 18 (2017): 4715–20. https://doi.org/10.1073/pnas.1621239114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
[286]
2017 | Journal Article | IST-REx-ID: 681 | OA
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation 254 (2017): 296–315. https://doi.org/10.1016/j.ic.2016.10.012.
View | DOI | Download Submitted Version (ext.)
 
[285]
2017 | Journal Article | IST-REx-ID: 684 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic 82, no. 2 (2017): 420–52. https://doi.org/10.1017/jsl.2016.71.
View | DOI | Download Submitted Version (ext.)
 
[284]
2017 | Conference Paper | IST-REx-ID: 711 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.5.
View | Files available | DOI
 
[283]
2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 
[282]
2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, Petr Novotny, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
View | DOI | Download Submitted Version (ext.)
 
[281]
2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences 84 (2017): 144–70. https://doi.org/10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 
[280]
2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems 23, no. 2 (2017): 230–53. https://doi.org/10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[279]
2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, Krishnendu, Petr Novotny, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017.
View | Download Submitted Version (ext.)
 
[278]
2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
View | DOI | Download Submitted Version (ext.)
 
[277]
2017 | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, and Georg F Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters 122 (2017): 25–29. https://doi.org/10.1016/j.ipl.2017.02.003.
View | Files available | DOI
 
[276]
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. “Quantitative Fair Simulation Games.” Information and Computation 254, no. 2 (2017): 143–66. https://doi.org/10.1016/j.ic.2016.10.006.
View | Files available | DOI
 
[275]
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter, Johannes, Alvin Makohon Moore, Jeffrey Gerold, Ivana Božić, Krishnendu Chatterjee, Christine Iacobuzio Donahue, Bert Vogelstein, and Martin Nowak. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications 8 (2017). https://doi.org/10.1038/ncomms14114.
View | Files available | DOI
 
[274]
2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 
[273]
2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
View | DOI | Download Preprint (ext.)
 
[272]
2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 
[271]
2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
View | Files available | DOI
 
[270]
2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
View | Files available | DOI
 
[269]
2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-728-v2-1.
View | Files available | DOI
 
[268]
2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 
[267]
2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Josef Tkadlec. “Robust Draws in Balanced Knockout Tournaments,” 2016–January:172–79. AAAI Press, 2016.
View | Files available | Download Preprint (ext.)
 
[266]
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” In Proceedings of the ACM Conference on Computer Supported Cooperative Work, 26:365–68. ACM, 2016. https://doi.org/10.1145/2818052.2869122.
View | DOI
 
[265]
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” In Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, 2016–January:88–96. AAAI Press, 2016.
View | Download None (ext.)
 
[264]
2016 | Conference Paper | IST-REx-ID: 1327 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, and Petr Novotny. “Stochastic Shortest Path with Energy Constraints in POMDPs.” In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, 1465–66. ACM, 2016.
View | Download Preprint (ext.)
 
[263]
2016 | Conference Paper | IST-REx-ID: 1335 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Monitor Automata,” 9837:23–38. Springer, 2016. https://doi.org/10.1007/978-3-662-53413-7_2.
View | DOI | Download Preprint (ext.)
 
[262]
2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
View | DOI | Download Preprint (ext.)
 
[261]
2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, Amir Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

360 Publications

Mark all

[360]
2020 | Journal Article | IST-REx-ID: 7212 | OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology 16 (2020). https://doi.org/10.1371/journal.pcbi.1007494.
View | Files available | DOI | arXiv
 
[359]
2020 | Conference Paper | IST-REx-ID: 7346 | OA
Schmid, Laura, Krishnendu Chatterjee, and Stefan Schmid. “The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game.” In Proceedings of the 23rd International Conference on Principles of Distributed Systems, Vol. 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21.
View | Files available | DOI | arXiv
 
[358]
2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-44914-8_5.
View | Files available | DOI
 
[357]
2020 | Conference Paper | IST-REx-ID: 7955 | OA
Ashok, Pranav, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, and Tobias Winkler. “Approximating Values of Generalized-Reachability Stochastic Games.” In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , 102–15. Association for Computing Machinery, n.d. https://doi.org/10.1145/3373718.3394761.
View | DOI | Download Preprint (ext.) | arXiv
 
[356]
2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 672–87. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385969.
View | DOI | Download Preprint (ext.) | arXiv
 
[355]
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
View | Files available | DOI | arXiv
 
[354]
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.
View | Files available
 
[353]
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3363525.
View | DOI
 
[352]
2019 | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
View | DOI | Download Preprint (ext.) | arXiv
 
[351]
2019 | Journal Article | IST-REx-ID: 7210 | OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology 2 (2019). https://doi.org/10.1038/s42003-019-0373-y.
View | Files available | DOI | PubMed | Europe PMC
 
[350]
2019 | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706.
View | DOI | Download Preprint (ext.) | arXiv
 
[349]
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI
 
[348]
2019 | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
View | DOI | Download Preprint (ext.) | arXiv
 
[347]
2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.
View | Files available | DOI | arXiv
 
[346]
2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:374–81. ACM, 2019. https://doi.org/10.1145/3297280.3297319.
View | Files available | DOI
 
[345]
2019 | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages 3, no. POPL (2019). https://doi.org/10.1145/3290366.
View | Files available | DOI
 
[344]
2019 | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 
[343]
2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
View | Files available | DOI
 
[342]
2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019. https://doi.org/10.1145/3360555.
View | Files available | DOI | arXiv
 
[341]
2019 | Journal Article | IST-REx-ID: 6836 | OA
Hauser, Oliver P., Christian Hilbe, Krishnendu Chatterjee, and Martin A. Nowak. “Social Dilemmas among Unequals.” Nature 572, no. 7770 (2019): 524–27. https://doi.org/10.1038/s41586-019-1488-5.
View | Files available | DOI
 
[340]
2019 | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.27.
View | Files available | DOI
 
[339]
2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 
[338]
2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
View | Files available | DOI
 
[337]
2019 | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
View | DOI | Download Preprint (ext.) | arXiv
 
[336]
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3339984.
View | Files available | DOI | arXiv
 
[335]
2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” In Proceedings of the ACM on Programming Languages, Vol. 4. ACM, 2019. https://doi.org/10.1145/3371093.
View | Files available | DOI | arXiv
 
[334]
2018 | Journal Article | IST-REx-ID: 2 | OA
Hilbe, Christian, Laura Schmid, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.” PNAS 115, no. 48 (2018): 12241–46. https://doi.org/10.1073/pnas.1810565115.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
[333]
2018 | Conference Paper | IST-REx-ID: 24 | OA
Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotny, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,” 2018:4692–99. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/652.
View | DOI | Download Preprint (ext.) | arXiv
 
[332]
2018 | Conference Paper | IST-REx-ID: 25
Horák, Karel, Branislav Bošanský, and Krishnendu Chatterjee. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018–July:4764–70. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/662.
View | DOI
 
[331]
2018 | Journal Article | IST-REx-ID: 738 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.” Real-Time Systems 54, no. 1 (2018): 166–207. https://doi.org/10.1007/s11241-017-9293-4.
View | Files available | DOI
 
[330]
2018 | Conference Paper | IST-REx-ID: 79 | OA
Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.
View | DOI | Download Preprint (ext.) | arXiv
 
[329]
2018 | Journal Article | IST-REx-ID: 419 | OA
Hilbe, Christian, Krishnendu Chatterjee, and Martin Nowak. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour 2 (2018): 469–477. https://doi.org/10.1038/s41562-018-0320-9.
View | Files available | DOI
 
[328]
2018 | Journal Article | IST-REx-ID: 454 | OA
Reiter, Johannes, Christian Hilbe, David Rand, Krishnendu Chatterjee, and Martin Nowak. “Crosstalk in Concurrent Repeated Games Impedes Direct Reciprocity and Requires Stronger Levels of Forgiveness.” Nature Communications 9, no. 1 (2018). https://doi.org/10.1038/s41467-017-02721-8.
View | Files available | DOI
 
[327]
2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches for Almost-Sure Termination of Probabilistic Programs.” edited by Sukyoung Ryu, 11275:181–201. Springer, 2018. https://doi.org/10.1007/978-3-030-02768-1_11.
View | DOI | Download Preprint (ext.) | arXiv
 
[326]
2018 | Journal Article | IST-REx-ID: 5751 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin A. Nowak. “Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory.” Communications Biology 1, no. 1 (2018). https://doi.org/10.1038/s42003-018-0078-7.
View | Files available | DOI
 
[325]
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, Krishnendu Chatterjee, and Barbara Jobstmann. “Graph Games and Reactive Synthesis.” In Handbook of Model Checking, edited by Thomas A Henzinger, Edmund M. Clarke, Helmut Veith, and Roderick Bloem, 1st ed., 921–62. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_27.
View | DOI
 
[324]
2018 | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
View | DOI | Download Preprint (ext.) | arXiv
 
[323]
2018 | Journal Article | IST-REx-ID: 5993 | OA
Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.” ACM Transactions on Programming Languages and Systems 40, no. 2 (2018): 7. https://doi.org/10.1145/3174800.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
[322]
2018 | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems 40, no. 3 (2018): 9. https://doi.org/10.1145/3210257.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[321]
2018 | Conference Paper | IST-REx-ID: 297 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman. “Strategy Representation by Decision Trees in Reactive Synthesis,” 10805:385–407. Springer, 2018. https://doi.org/10.1007/978-3-319-89960-2_21.
View | Files available | DOI
 
[320]
2018 | Conference Paper | IST-REx-ID: 310 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151.
View | DOI | Download Preprint (ext.) | arXiv
 
[319]
2018 | Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. https://doi.org/10.1007/978-3-319-89884-1_26.
View | Files available | DOI
 
[318]
2018 | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018. https://doi.org/10.1109/Cybermatics_2018.2018.00231.
View | Files available | DOI | arXiv
 
[317]
2018 | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
[316]
2018 | Journal Article | IST-REx-ID: 157 | OA
Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak. “Evolution of Cooperation in Stochastic Games.” Nature 559, no. 7713 (2018): 246–49. https://doi.org/10.1038/s41586-018-0277-x.
View | Files available | DOI
 
[315]
2018 | Journal Article | IST-REx-ID: 198 | OA
Ibsen-Jensen, Rasmus, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Language Acquisition with Communication between Learners.” Journal of the Royal Society Interface 15, no. 140 (2018). https://doi.org/10.1098/rsif.2018.0073.
View | Files available | DOI
 
[314]
2018 | Book Chapter | IST-REx-ID: 86 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.” In Principles of Modeling, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018. https://doi.org/10.1007/978-3-319-95246-8_9.
View | Files available | DOI
 
[313]
2018 | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee, Krishnendu, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, and Viktor Toman. “Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives,” 10982:178–97. Springer, 2018. https://doi.org/10.1007/978-3-319-96142-2_13.
View | Files available | DOI
 
[312]
2018 | Conference Paper | IST-REx-ID: 143 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Antonín Kučera, Petr Novotny, Dominik Velan, and Florian Zuleger. “Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS,” F138033:185–94. IEEE, 2018. https://doi.org/10.1145/3209108.3209191.
View | DOI | Download Preprint (ext.)
 
[311]
2018 | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotny. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,” Vol. 2. ACM, 2018. https://doi.org/10.1145/3158122.
View | DOI | Download Preprint (ext.) | arXiv
 
[310]
2018 | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.
View | Download Preprint (ext.) | arXiv
 
[309]
2018 | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In 28th International Conference on Automated Planning and Scheduling . AAAI Press, 2018.
View | Download None (ext.) | arXiv
 
[308]
2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.” Journal of the ACM 64, no. 5 (2017): 34. https://doi.org/10.1145/3121408.
View | DOI | Download Preprint (ext.) | arXiv
 
[307]
2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences 88 (2017): 236–59. https://doi.org/10.1016/j.jcss.2017.04.005.
View | Files available | DOI | Download Preprint (ext.)
 
[306]
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica 54, no. 6 (2017): 543–44. https://doi.org/10.1007/s00236-017-0299-0.
View | DOI
 
[305]
2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil, Tadeas, Krishnendu Chatterjee, and Martin Nowak. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology 433 (2017): 64–72. https://doi.org/10.1016/j.jtbi.2017.08.025.
View | Files available | DOI | PubMed | Europe PMC
 
[304]
2017 | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, Monika Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science 13, no. 3 (2017). https://doi.org/10.23638/LMCS-13(3:26)2017.
View | Files available | DOI
 
[303]
2017 | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science 13, no. 3 (2017). https://doi.org/10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 
[302]
2017 | Journal Article | IST-REx-ID: 466 | OA
Chatterjee, Krishnendu, Zuzana Křetínská, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science 13, no. 2 (2017). https://doi.org/10.23638/LMCS-13(2:15)2017.
View | Files available | DOI
 
[301]
2017 | Journal Article | IST-REx-ID: 467 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL) 18, no. 4 (2017). https://doi.org/10.1145/3152769.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[300]
2017 | Journal Article | IST-REx-ID: 512 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports 7, no. 1 (2017). https://doi.org/10.1038/s41598-017-00107-w.
View | Files available | DOI
 
[299]
2017 | Technical Report | IST-REx-ID: 5455 | OA
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 
[298]
2017 | Technical Report | IST-REx-ID: 5456 | OA
Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-872-v1-1.
View | Files available | DOI
 
[297]
2017 | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.61.
View | Files available | DOI
 
[296]
2017 | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, Monika Henzinger, and Alexander Svozil. “Faster Algorithms for Mean Payoff Parity Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.39.
View | Files available | DOI
 
[295]
2017 | Conference Paper | IST-REx-ID: 553 | OA
Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.55.
View | Files available | DOI | Download Published Version (ext.)
 
[294]
2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak . Strong Amplifiers of Natural Selection. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:51.
View | Files available | DOI
 
[293]
2017 | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost of Exactness in Quantitative Reachability.” In Models, Algorithms, Logics and Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare, 10460:367–81. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, 2017. https://doi.org/10.1007/978-3-319-63121-9_18.
View | Files available | DOI
 
[292]
2017 | Conference Paper | IST-REx-ID: 628 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Aniket Murhekar. “Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds.” edited by Rupak Majumdar and Viktor Kunčak, 10426:118–39. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_6.
View | DOI | Download Submitted Version (ext.)
 
[291]
2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
[290]
2017 | Conference Paper | IST-REx-ID: 645 | OA
Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretinsky, and Tobias Meggendorfer. “Value Iteration for Long Run Average Reward in Markov Decision Processes.” edited by Rupak Majumdar and Viktor Kunčak, 10426:201–21. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_10.
View | DOI | Download Submitted Version (ext.)
 
[289]
2017 | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Improved Set-Based Symbolic Algorithms for Parity Games,” Vol. 82. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017. https://doi.org/10.4230/LIPICS.CSL.2017.18.
View | Files available | DOI
 
[288]
2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore, Alvin, Ming Zhang, Johannes Reiter, Ivana Božić, Benjamin Allen, Deepanjan Kundu, Krishnendu Chatterjee, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.” Nature Genetics 49, no. 3 (2017): 358–66. https://doi.org/10.1038/ng.3764.
View | Files available | DOI
 
[287]
2017 | Journal Article | IST-REx-ID: 671 | OA
Hilbe, Christian, Vaquero Martinez, Krishnendu Chatterjee, and Martin Nowak. “Memory-n Strategies of Direct Reciprocity.” PNAS 114, no. 18 (2017): 4715–20. https://doi.org/10.1073/pnas.1621239114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
[286]
2017 | Journal Article | IST-REx-ID: 681 | OA
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation 254 (2017): 296–315. https://doi.org/10.1016/j.ic.2016.10.012.
View | DOI | Download Submitted Version (ext.)
 
[285]
2017 | Journal Article | IST-REx-ID: 684 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic 82, no. 2 (2017): 420–52. https://doi.org/10.1017/jsl.2016.71.
View | DOI | Download Submitted Version (ext.)
 
[284]
2017 | Conference Paper | IST-REx-ID: 711 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.5.
View | Files available | DOI
 
[283]
2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 
[282]
2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, Petr Novotny, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
View | DOI | Download Submitted Version (ext.)
 
[281]
2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences 84 (2017): 144–70. https://doi.org/10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 
[280]
2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems 23, no. 2 (2017): 230–53. https://doi.org/10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[279]
2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, Krishnendu, Petr Novotny, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017.
View | Download Submitted Version (ext.)
 
[278]
2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
View | DOI | Download Submitted Version (ext.)
 
[277]
2017 | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, and Georg F Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters 122 (2017): 25–29. https://doi.org/10.1016/j.ipl.2017.02.003.
View | Files available | DOI
 
[276]
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. “Quantitative Fair Simulation Games.” Information and Computation 254, no. 2 (2017): 143–66. https://doi.org/10.1016/j.ic.2016.10.006.
View | Files available | DOI
 
[275]
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter, Johannes, Alvin Makohon Moore, Jeffrey Gerold, Ivana Božić, Krishnendu Chatterjee, Christine Iacobuzio Donahue, Bert Vogelstein, and Martin Nowak. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications 8 (2017). https://doi.org/10.1038/ncomms14114.
View | Files available | DOI
 
[274]
2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 
[273]
2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
View | DOI | Download Preprint (ext.)
 
[272]
2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 
[271]
2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
View | Files available | DOI
 
[270]
2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
View | Files available | DOI
 
[269]
2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-728-v2-1.
View | Files available | DOI
 
[268]
2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 
[267]
2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Josef Tkadlec. “Robust Draws in Balanced Knockout Tournaments,” 2016–January:172–79. AAAI Press, 2016.
View | Files available | Download Preprint (ext.)
 
[266]
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” In Proceedings of the ACM Conference on Computer Supported Cooperative Work, 26:365–68. ACM, 2016. https://doi.org/10.1145/2818052.2869122.
View | DOI
 
[265]
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” In Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, 2016–January:88–96. AAAI Press, 2016.
View | Download None (ext.)
 
[264]
2016 | Conference Paper | IST-REx-ID: 1327 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, and Petr Novotny. “Stochastic Shortest Path with Energy Constraints in POMDPs.” In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, 1465–66. ACM, 2016.
View | Download Preprint (ext.)
 
[263]
2016 | Conference Paper | IST-REx-ID: 1335 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Monitor Automata,” 9837:23–38. Springer, 2016. https://doi.org/10.1007/978-3-662-53413-7_2.
View | DOI | Download Preprint (ext.)
 
[262]
2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
View | DOI | Download Preprint (ext.)
 
[261]
2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, Amir Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications