publications

2026

  1. IJCAI’26
    Automated Approach for Solving Infinite-state Polynomial Reachability Games*
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Maximilian Seeliger, and Đorđe Žikelić
    In International Joint Conference on Artificial Intelligence (IJCAI), 2026
    arXiv
  2. COLT’26
    Strongly Polynomial Time Complexity of Policy Iteration for Robust MDPs*
    Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, and Carlo Pagano
    In Conference on Learning Theory (COLT), 2026
    arXiv
  3. AAAI’26
    Qualitative Analysis of ω-Regular Objectives on Robust MDPs*
    Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, and Ali Shafiee
    In AAAI Conference on Artificial Intelligence (AAAI), 2026
    arXiv

2025

  1. AAAI’25
    Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization*
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J Motwani, Maximilian Seeliger, and Đorđe Žikelić
    In AAAI Conference on Artificial Intelligence (AAAI), 2025
    arXiv
  2. ATVA’25
    PolyQEnt: A Polynomial Quantified Entailment Solver*
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, and Đorđe Žikelić
    In International Symposium on Automated Technology for Verification and Analysis (ATVA), 2025
    Distinguished Tool Paper Award arXiv

2024

  1. IJCAI’24
    Solving Long-run Average Reward Robust MDPs via Stochastic Games*
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, and Đorđe Žikelić
    In International Joint Conference on Artificial Intelligence (IJCAI), 2024
    arXiv
  2. PODC’24
    Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains*
    Krishnendu Chatterjee, Amirali Ebrahimzadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, and Đorđe Žikelić
    In ACM Symposium on Principles of Distributed Computing (PODC), 2024
    arXiv
  3. PODC’24
    Game Dynamics and Equilibrium Computation in the Population Protocol Model*
    Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, and John Lazarsfeld
    In ACM Symposium on Principles of Distributed Computing (PODC), 2024
    arXiv
  4. FM’24
    Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs*
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, and Đorđe Žikelić
    In International Symposium on Formal Methods (FM), 2024
    Distinguished Paper Award arXiv
* alphabetic order.