Skip to main content

概要

概要研究リーダーシップニュースルーム

コミュニティ

概要ブログ Essential Cardano Catalyst

採用情報お問い合わせ

日本語

IOHK |

ライブラリー

概要
ライブラリー

ライブラリー > Marcus Völker

Marcus Völker

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

Maxim Jourenko,Marcus Völker

November/2025, To appear in: CANS 2025

UNIVERSAL COMPOSITION

製品

Cardano
Daedalus
Identus
Lace
Catalyst
Marlowe
Plutus

メディア

メディア
メディアキット

コース

Plutus

法的事項

データ保護
利用規約

ソーシャル

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram