Zoo Probabilistic Systems

swMATH28541MaRDI QIDQ40255FDOQ40255

Author name not available (Why is that?)

Described by source

• A Formalized Hierarchy of Probabilistic System Types

Cited In (8)

• Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL
• Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
• Title not available (Why is that?)
• Eisbach: a proof method language for Isabelle
• CryptHOL: game-based proofs in higher-order logic
• A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
• Effect polymorphism in higher-order logic (proof pearl)
• Markov chains and Markov decision processes in Isabelle/HOL

This page was built for software: Zoo Probabilistic Systems