Christoph Matheja. A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings. Volume 15217 of Lecture Notes in Computer Science, pages 242-258, Springer, 2024. [doi]
Abstract is missing.