Solving Long-run Average Reward Robust MDPs via Stochastic Games K Chatterjee, EK Goharshady, M Karrabi, P Novotný, Đ Žikelić arXiv preprint arXiv:2312.13912, 2023 | 1 | 2023 |
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains K Chatterjee, A Ebrahimzadeh, M Karrabi, K Pietrzak, M Yeo, Đ Žikelić arXiv preprint arXiv:2405.04420, 2024 | | 2024 |
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs K Chatterjee, AK Goharshady, EK Goharshady, M Karrabi, Đ Žikelić arXiv preprint arXiv:2403.05386, 2024 | | 2024 |
Repeated Game Dynamics in Population Protocols D Alistarh, K Chatterjee, M Karrabi, J Lazarsfeld arXiv preprint arXiv:2307.07297, 2023 | | 2023 |