Items where Author is "Goharshady, Amir Kafshdar"

Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Meggendorfer, Tobias and Žikelić, Đorđe (2024) Quantitative Bounds on Resource Usage of Probabilistic Programs. Proceedings of the ACM on Programming Languages, 8 (OOPSLA). pp. 362-391. ISSN 2475-1421

Ahmadi, Ali and Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Meggendorfer, Tobias and Safavi, Roodabeh and Zikelic, Ðorde (2022) Algorithms and Hardness Results for Computing Cores of Markov Chains. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022 :. Leibniz International Proceedings in Informatics, LIPIcs . UNSPECIFIED, 29:1-29:20. ISBN 9783959772617

Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Meggendorfer, Tobias and Žikelić, Đorđe (2022) Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Cham, pp. 55-78. ISBN 9783031131844