Items where Author is "Akshay, S."

Contribution in Book/Report/Proceedings

Akshay, S. and Meggendorfer, Tobias and Thiagarajan, P. S. (2024) Causally Deterministic Markov Decision Processes. In: 35th International Conference on Concurrency Theory, CONCUR 2024 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 6:1-6:22. ISBN 9783959773393

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

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