publications

2026

  1. Qualitative Analysis of ω-Regular Objectives on Robust MDPs*
    Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, and 2 more authors
    In Association for the Advancement of Artificial Intelligence (AAAI), 2026

2025

  1. PolyQEnt: A Polynomial Quantified Entailment Solver*
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, and 4 more authors
    In International Symposium on Automated Technology for Verification and Analysis (ATVA), 2025
  2. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization*
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, and 3 more authors
    In Association for the Advancement of Artificial Intelligence (AAAI), 2025

2024

  1. Sound and complete witnesses for template-based verification of LTL properties on polynomial programs*
    Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, and 2 more authors
    In International Symposium on Formal Methods (FM), 2024
  2. Solving long-run average reward robust mdps via stochastic games*
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, and 2 more authors
    In International Joint Conference on Artificial Intelligence (IJCAI), 2024
  3. Game Dynamics and Equilibrium Computation in the Population Protocol Model*
    Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, and 1 more author
    In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
  4. Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains*
    Krishnendu Chatterjee, Amirali Ebrahimzadeh, Mehrdad Karrabi, and 3 more authors
    In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
* alphabetic order.