Solving long-run average reward robust mdps via stochastic games K Chatterjee, EK Goharshady, M Karrabi, P Novotný, Đ Žikelić 33rd International Joint Conference on Artificial Intelligence (IJCAI24), 2023 | 5 | 2023 |
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs K Chatterjee, AK Goharshady, EK Goharshady, M Karrabi, Đ Žikelić 26th International Symposium on Formal Methods (FM24), 2024 | 4 | 2024 |
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains K Chatterjee, A Ebrahimzadeh, M Karrabi, K Pietrzak, M Yeo, Đ Žikelić Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing …, 2024 | 1 | 2024 |
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization K Chatterjee, EK Goharshady, M Karrabi, HJ Motwani, M Seeliger, ... arXiv preprint arXiv:2412.16226, 2024 | | 2024 |
PolyHorn: A Polynomial Horn Clause Solver K Chatterjee, AK Goharshady, EK Goharshady, M Karrabi, M Saadat, ... arXiv preprint arXiv:2408.03796, 2024 | | 2024 |
Game Dynamics and Equilibrium Computation in the Population Protocol Model D Alistarh, K Chatterjee, M Karrabi, J Lazarsfeld Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing …, 2024 | | 2024 |