A
Menu
November 12, 2025 conference-paper Aachen paper

Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes

Lecture notes in computer science, pp. 612–621

DOI: 10.1007/978-981-95-4434-9_30 OpenAlex

Authors 2

  1. Maxim Jourenko corresponding

    Institute of Science Tokyo

    Affiliation as printed

    Institute of Science Tokyo, Tokyo, Japan

  2. Marcus Völker Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 19

19 results