Pages that link to "Item:Q923886"

The following pages link to Proofs of randomized algorithms in Coq (Q923886):

Displaying 3 items.

• The expectation monad in quantum foundations (Q320204) (← links)
• Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
• Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)