Items where Author is "Chatterjee, Krishnendu"

Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtěch and Křetínský, Jan and Kwiatkowska, Marta and Meggendorfer, Tobias and Parker, David and Ujma, Mateusz (2025) Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS, 4: 13268.

Baier, Christel and Chatterjee, Krishnendu and Meggendorfer, Tobias and Piribauer, Jakob (2024) Entropic risk for turn-based stochastic games. Information and Computation, 301: 105214.

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

Baier, Christel and Chatterjee, Krishnendu and Meggendorfer, Tobias and Piribauer, Jakob (2023) Entropic Risk for Turn-Based Stochastic Games. In: 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023 :. Leibniz International Proceedings in Informatics, LIPIcs, 272 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15:1-15:16. ISBN 9783959772921

Akshay, S. and Chatterjee, Krishnendu and Meggendorfer, Tobias and Žikelić, Đorđe (2023) MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. In: Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 86-112. ISBN 9783031377082

Chatterjee, Krishnendu and Meggendorfer, Tobias and Saona, Raimundo and Svoboda, Jakub (2023) Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. In: 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 :. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms . Curran Associates, Inc., pp. 4590-4605. ISBN 9781611977554

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

Ashok, Pranav and Chatterjee, Krishnendu and Daca, Przemyslaw and Kretínský, Jan and Meggendorfer, Tobias (2017) Value Iteration for Long-Run Average Reward in Markov Decision Processes. In: CAV 2017 : Computer Aided Verification. Lecture Notes in Computer Science . Springer, Cham, pp. 201-221. ISBN 9783319633862