publications

2025

  1. 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 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, Mehrdad Karrabi, and Đorđe Žikelić
    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, Petr Novotnỳ, and Đorđe Žikelić
    In International Joint Conference on Artificial Intelligence (IJCAI), 2024
  3. PolyHorn: A Polynomial Horn Clause Solver*
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, and Đorđe Žikelić
    arXiv preprint arXiv:2408.03796, 2024
  4. Game Dynamics and Equilibrium Computation in the Population Protocol Model*
    Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, and John Lazarsfeld
    In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
  5. 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 Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
* alphabetic order.