Items where Author is "Akshay, S."

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