Pavlogiannis, A., Schaumberger, N., Schmid, U., &; Chatterjee, K. (2020). Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE.https://doi.org/10.1109/TCAD.2020.3012803 

Avni, G., Ibsen-Jensen, R., &; Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v34i02.5546 

Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., &; Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Ecology Letters. Wiley.https://doi.org/10.1111/ele.13458 

Milutinovic, B., Stock, M., Grasse, A. V., Naderlinger, E., Hilbe, C., &; Cremer, S. (2020). Social immunity modulates competition between coinfecting pathogens. Dryad.https://doi.org/10.5061/DRYAD.CRJDFN318 

Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., &; Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.

Chatterjee, K., Katoen, J. P., Weininger, M., &; Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature.https://doi.org/10.1007/978-3-030-53291-8_21 

Shakiba, A., Goharshady, A. K., Hooshmandasl, M. R., &; Alambardar Meybodi, M. (2020). A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. Iranian Academic Center for Education, Culture and Research.https://doi.org/10.29252/ijmsi.15.2.117 

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., &; Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1007494 

Tkadlec, J. (2020). A role of graphs in evolutionary processes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7196 

Ibsen-Jensen, R., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2020). Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners. Royal Society.https://doi.org/10.6084/m9.figshare.5973013.v1 

Wang, P., Fu, H., Chatterjee, K., Deng, Y., &; Xu, M. (2020). Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In Proceedings of the ACM on Programming Languages (Vol. 4). ACM.https://doi.org/10.1145/3371093 

Brázdil, T., Chatterjee, K., Novotný, P., &; Vahala, J. (2020). Reinforcement learning of risk-constrained policies in Markov decision processes. Proceedings of the 34th AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v34i06.6531 

Aichholzer, O., Obmann, J., Patak, P., Perz, D., &; Tkadlec, J. (2020). Disjoint tree-compatible plane perfect matchings. In 36th European Workshop on Computational Geometry. Würzburg, Germany, Virtual.

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature.https://doi.org/10.1007/978-3-030-44914-8_5 

Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., &; Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature.https://doi.org/10.1007/978-3-030-59152-6_14 

Chatterjee, K., Fu, H., Goharshady, A. K., &; Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery.https://doi.org/10.1145/3385412.3385969 

Goharshady, A. K., &; Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier.https://doi.org/10.1016/j.ress.2019.106665 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.7 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.27 

Chatterjee, K., &; Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.6 

Avni, G., Henzinger, T. A., &; Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2019.11 

Fu, H., &; Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature.https://doi.org/10.1007/978-3-030-11245-5_22 

Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., &; Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer.https://doi.org/10.1007/978-3-030-25540-4_36 

Hauser, O. P., Hilbe, C., Chatterjee, K., &; Nowak, M. A. (2019). Social dilemmas among unequals. Nature. Springer Nature.https://doi.org/10.1038/s41586-019-1488-5 

Ashok, P., Brázdil, T., Chatterjee, K., Ketínský, J., Lampert, C., &; Toman, V. (2019). Strategy representation by decision trees with linear classifiers. In 16th International Conference on Quantitative Evaluation of Systems (Vol. 11785, pp. 109–128). Glasgow, United Kingdom: Springer Nature.https://doi.org/10.1007/978-3-030-30281-8_7 

Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., &; Velan, D. (2019). Deciding fast termination for probabilistic VASS with nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (Vol. 11781, pp. 462–478). Taipei, Taiwan: Springer Nature.https://doi.org/10.1007/978-3-030-31784-3_27 

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., &; Nowak, M. A. (2019). Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. Springer Nature.https://doi.org/10.1038/s42003-019-0373-y 

Chatterjee, K., Pavlogiannis, A., &; Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM.https://doi.org/10.1145/3360550 

Chatterjee, K., &; Doyen, L. (2019). Graph planning with expected finite horizon. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Vancouver, BC, Canada: IEEE.https://doi.org/10.1109/lics.2019.8785706 

Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D.,  Turcotte, A. (n.d.). Token swapping on trees. arXiv.

Huang, M., Fu, H., Chatterjee, K., &; Goharshady, A. K. (2019). 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). Athens, Greece: ACM.https://doi.org/10.1145/3360555 

Chatterjee, K., Goharshady, A. K., Okati, N., &; Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. ACM.https://doi.org/10.1145/3290366 

Chatterjee, K., Goharshady, A. K., &; Pourdamghani, A. (2019). Probabilistic smart contracts: Secure randomness on the blockchain. In IEEE International Conference on Blockchain and Cryptocurrency. Seoul, Korea: IEEE.https://doi.org/10.1109/BLOC.2019.8751326 

Chatterjee, K., Goharshady, A. K., &; Pourdamghani, A. (2019). Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part 7772, pp. 374–381). Limassol, Cyprus: ACM.https://doi.org/10.1145/3297280.3297319 

Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., &; Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery.https://doi.org/10.1145/3314221.3314581 

Chatterjee, K., Goharshady, A. K., &; Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part 7772, pp. 400–408). Limassol, Cyprus: ACM.https://doi.org/10.1145/3297280.3297322 

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., &; Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM.https://doi.org/10.1145/3363525 

Chatterjee, K., Fu, H., &; Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. ACM.https://doi.org/10.1145/3339984 

Chatterjee, K., Dvoák, W., Henzinger, M. H., &; Svozil, A. (2018). Quasipolynomial set-based symbolic algorithms for parity games. In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Vol. 57, pp. 233–253). Awassa, Ethiopia: EasyChair.https://doi.org/10.29007/5z5k 

Agrawal, S., Chatterjee, K., &; Novotný, P. (2018). Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (Vol. 2). Presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA: ACM.https://doi.org/10.1145/3158122 

Bloem, R., Chatterjee, K., &; Jobstmann, B. (2018). Graph games and reactive synthesis. In T. A. Henzinger, E. M. Clarke, H. Veith, &; R. Bloem (Eds.), Handbook of Model Checking (1st ed., pp. 921–962). Springer.https://doi.org/10.1007/978-3-319-10575-8_27 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2018). Computing average response time. In M. Lohstroh, P. Derler, &; M. Sirjani (Eds.), Principles of Modeling (Vol. 10760, pp. 143–161). Springer.https://doi.org/10.1007/978-3-319-95246-8_9 

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. Nature Publishing Group.https://doi.org/10.1038/s41467-017-02721-8 

Brázdil, T., Chatterjee, K., Kudera, A., Novotný, P., Velan, D., &; Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. 8033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE.https://doi.org/10.1145/3209108.3209191 

Hilbe, C., Simsa, S., Chatterjee, K., &; Nowak, M. (2018). Evolution of cooperation in stochastic games. Nature. Nature Publishing Group.https://doi.org/10.1038/s41586-018-0277-x 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Loitzenbauer, V. (2018). Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter (pp. 2341–2356). Presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States: ACM.https://doi.org/10.1137/1.9781611975031.151 

Huang, M., Fu, H., &; Chatterjee, K. (2018). New approaches for almost-sure termination of probabilistic programs. In S. Ryu (Ed.) (Vol. 11275, pp. 181–201). Presented at the 16th Asian Symposium on Programming Languages and Systems, APLAS, Wellington, New Zealand: Springer.https://doi.org/10.1007/978-3-030-02768-1_11 

Hilbe, C., Chatterjee, K., &; Nowak, M. (2018). Partners and rivals in direct reciprocity. Nature Human Behaviour. Nature Publishing Group.https://doi.org/10.1038/s41562-018-0320-9 

Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., &; Sokolova, A. (2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp. 53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China: Springer.https://doi.org/10.1007/978-3-319-99154-2_4 

Brázdil, T., Chatterjee, K., Kretinsky, J., &; Toman, V. (2018). Strategy representation by decision trees in reactive synthesis (Vol. 10805, pp. 385–407). Presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89960-2_21 

Chatterjee, K., Henzinger, M. H., Loitzenbauer, V., Oraee, S., &; Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer.https://doi.org/10.1007/978-3-319-96142-2_13 

Hoffman, M., Hilbe, C., &; Nowak, M. (2018). The signal-burying game can explain why we obscure positive traits and good deeds. Nature Human Behaviour. Nature Publishing Group.https://doi.org/10.1038/s41562-018-0354-z 

Hansen, K. A., Ibsen-Jensen, R., &; Neyman, A. (2018). The Big Match with a clock and a bit of memory. In Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18 (pp. 149–150). Ithaca, NY, United States: ACM Press.https://doi.org/10.1145/3219166.3219198 

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. Association for Computing Machinery (ACM).https://doi.org/10.1145/3174800 

Horák, K., Bosanský, B., &; Chatterjee, K. (2018). Goal-HSVI: Heuristic search value iteration for goal-POMDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018–July, pp. 4764–4770). Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/662 

Chatterjee, K., Elgyütt, A., Novotný, P., &; Rouillé, O. (2018). Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives (Vol. 2018, pp. 4692–4699). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/652 

Chatterjee, K., Chemlík, M., &; Topcu, U. (2018). Sensor synthesis for POMDPs with reachability objectives (Vol. 2018, pp. 47–55). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Delft, Netherlands: AAAI Press.

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Svozil, A. (2018). Algorithms and conditional lower bounds for planning problems. In 28th International Conference on Automated Planning and Scheduling . Delft, Netherlands: AAAI Press.

Chatterjee, K., Pavlogiannis, A., Kößler, A., &; Schmid, U. (2018). Automated competitive analysis of real time scheduling with graph games. Real-Time Systems. Springer.https://doi.org/10.1007/s11241-017-9293-4 

Ibsen-Jensen, R., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2018). Language acquisition with communication between learners. Journal of the Royal Society Interface. The Royal Society.https://doi.org/10.1098/rsif.2018.0073 

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. A. (2018). Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology. Springer Nature.https://doi.org/10.1038/s42003-018-0078-7 

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2018.11 

Chatterjee, K., Goharshady, A. K., &; Velner, Y. (2018). Quantitative analysis of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89884-1_26 

Goharshady, A. K., Behrouz, A., &; Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In Proceedings of the IEEE International Conference on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE.https://doi.org/10.1109/Cybermatics_2018.2018.00231 

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &; Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM).https://doi.org/10.1145/3210257 

Chatterjee, K., Fu, H., Goharshady, A. K., &; Okati, N. (2018). Computational approaches for stochastic shortest path on succinct MDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018, pp. 4700–4707). Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/653 

Hilbe, C., Schmid, L., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2018). Indirect reciprocity with private, noisy, and incomplete information. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1810565115 

Mciver, A., Morgan, C., Kaminski, B. L., &; Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158121 

Chatterjee, K., Henzinger, M. H., &; Loitzenbauer, V. (2017). Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(3:26)2017 

Chatterjee, K., Ketínská, Z., &; Kretinsky, J. (2017). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(2:15)2017 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2017). Nested weighted automata. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/3152769 

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &; Otop, J. (2017). Edit distance for pushdown automata. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(3:23)2017 

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2017). Amplification on undirected population structures: Comets beat stars. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/s41598-017-00107-w 

Chatterjee, K., Choudhary, B., &; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158118 

Chatterjee, K., Choudhary, B., &; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria.https://doi.org/10.15479/AT:IST-2017-870-v1-1 

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &; Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158119 

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &; Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria.https://doi.org/10.15479/AT:IST-2017-872-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.61 

Chatterjee, K., Henzinger, M. H., &; Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.39 

Chatterjee, K., Hansen, K., &; Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.55 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2017). The cost of exactness in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, &; R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460, pp. 367–381). Springer.https://doi.org/10.1007/978-3-319-63121-9_18 

Chatterjee, K., Fu, H., &; Murhekar, A. (2017). Automated recurrence analysis for almost linear expected runtime bounds. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10426, pp. 118–139). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63387-9_6 

Ashok, P., Chatterjee, K., Daca, P., Kretinsky, J., &; Meggendorfer, T. (2017). Value iteration for long run average reward in markov decision processes. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10426, pp. 201–221). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63387-9_10 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Loitzenbauer, V. (2017). Improved set-based symbolic algorithms for parity games (Vol. 82). Presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden: Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik.https://doi.org/10.4230/LIPICS.CSL.2017.18 

Makohon Moore, A., Zhang, M., Reiter, J., Boei, I., Allen, B., Kundu, D.,https://doi.org/10.1038/ng.3764__Iacobuzio Donahue, C. (2017). Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng.3764 

Hilbe, C., Martinez, V., Chatterjee, K., &; Nowak, M. (2017). Memory-n strategies of direct reciprocity. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1621239114 

Chatterjee, K., Doyen, L., Filiot, E., &; Raskin, J. (2017). Doomsday equilibria for omega-regular games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2016.10.012 

Chatterjee, K., &; Piterman, N. (2017). Obligation blackwell games and p-automata. Journal of Symbolic Logic. Cambridge University Press.https://doi.org/10.1017/jsl.2016.71 

Veller, C., Hayward, L., Nowak, M., &; Hilbe, C. (2017). The red queen and king in finite populations. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1702020114 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2017). Bidirectional nested weighted automata (Vol. 85). Presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 

Chatterjee, K., &; Velner, Y. (2017). The complexity of mean-payoff pushdown games. Journal of the ACM. ACM.https://doi.org/10.1145/3121408 

Chatterjee, K., &; Velner, Y. (2017). Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. Academic Press.https://doi.org/10.1016/j.jcss.2017.04.005 

Chatterjee, K., &; Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica. Springer.https://doi.org/10.1007/s00236-017-0299-0 

Kretinsky, J., Meggendorfer, T., Waldmann, C., &; Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer.https://doi.org/10.1007/978-3-662-54577-5_26 

Avni, G., Henzinger, T. A., &; Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_854 

Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, I., &; Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2016.04.006 

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2016.09.009 

Reiter, J., Makohon Moore, A., Gerold, J., Boei, I., Chatterjee, K., Iacobuzio Donahue, C.,https://doi.org/10.1038/ncomms14114__Nowak, M. (2017). Reconstructing metastatic seeding patterns of human cancers. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms14114 

Chatterjee, K., &; Osang, G. F. (2017). Pushdown reachability with constant treewidth. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2017.02.003