Ehsan Kafshdar Goharshady
Ferdowsi University of Mashhad
H-index: 4
Asia-Iran
Top articles of Ehsan Kafshdar Goharshady
Equivalence and Similarity Refutation for Probabilistic Programs
arXiv preprint arXiv:2404.03430
2024/4/4
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
arXiv preprint arXiv:2403.05386
2024/3/8
Krishnendu Chatterjee
H-Index: 43
Ehsan Kafshdar Goharshady
H-Index: 2
Solving Long-run Average Reward Robust MDPs via Stochastic Games
arXiv preprint arXiv:2312.13912
2023/12/21
On lexicographic proof rules for probabilistic termination
Formal Aspects of Computing
2023/6/23
Proving non-termination by program reversal
2021/6/19
Polynomial invariant generation for non-deterministic recursive programs
2020/6/15