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

Maxim Jourenko, Marcus Vlker

Browse the full CANS paper archive.