Follow
Mehrdad Karrabi
Mehrdad Karrabi
Ph.D. candidate, Institute of Science and Technology Austria (ISTA)
Verified email at ista.ac.at - Homepage
Title
Cited by
Cited by
Year
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
52023
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
42024
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
12024
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
The system can't perform the operation now. Try again later.
Articles 1–6