Pages that link to "Item:Q2323970"
From MaRDI portal
The following pages link to An assertion-based program logic for probabilistic programs (Q2323970):
Displaying 3 items.
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Probabilistic Lipschitz analysis of neural networks (Q2233541) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
