Követés
Ehsan Kafshdar Goharshady
Ehsan Kafshdar Goharshady
IST Austria
E-mail megerősítve itt: ist.ac.at - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
The treewidth of smart contracts
K Chatterjee, AK Goharshady, EK Goharshady
Proceedings of the 34th ACM/sigapp symposium on applied computing, 400-408, 2019
492019
Polynomial invariant generation for non-deterministic recursive programs
K Chatterjee, H Fu, AK Goharshady, EK Goharshady
ACM Conference on Programming Language Design and Implementation (PLDI), 2020
392020
Proving non-termination by program reversal
K Chatterjee, EK Goharshady, P Novotný, Đ ®ikelić
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
192021
On lexicographic proof rules for probabilistic termination
K Chatterjee, E Kafshdar Goharshady, P Novotný, J Zárevúcky, Đ ®ikelić
Formal Aspects of Computing 35 (2), 1-25, 2023
112023
Equivalence and Similarity Refutation for Probabilistic Programs
K Chatterjee, EK Goharshady, P Novotný, Đ ®ikelić
arXiv preprint arXiv:2404.03430, 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
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
2023
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–7