Items where Author is "Žikelić, Ðorđe"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Contribution in Book/Report/Proceedings
Akshay, S. and Chatterjee, Krishnendu and Meggendorfer, Tobias and Žikelić, Ðorđe (2024) Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 :. IJCAI International Joint Conference on Artificial Intelligence . International Joint Conferences on Artificial Intelligence, KOR, pp. 3-12. ISBN 9781956792041