Pages that link to "Item:Q832288"

The following pages link to Latticed \(k\)-induction with an application to probabilistic programs (Q832288):

Displaying 4 items.

• Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
• MDPs as distribution transformers: affine invariant synthesis for safety objectives (Q6535681) (← links)
• Certificates for probabilistic pushdown automata via optimistic value iteration (Q6536144) (← links)
• Probabilistic program verification via inductive synthesis of inductive invariants (Q6536145) (← links)