Prati
Mehrdad Karrabi
Mehrdad Karrabi
Ph.D. candidate, Institute of Science and Technology Austria (ISTA)
Potvrđena adresa e-pošte na ista.ac.at
Naslov
Citirano
Citirano
Godina
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
12023
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4