Items where Author is "Žikelić, Đorđe"

Journal Article

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

Contribution in Book/Report/Proceedings

Avni, Guy and Meggendorfer, Tobias and Sadhukhan, Suman and Tkadlec, Josef and Žikelić, Đorđe (2023) Reachability Poorman Discrete-Bidding Games. In: ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings :. Frontiers in Artificial Intelligence and Applications . UNSPECIFIED, pp. 141-148. ISBN 9781643684369

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 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