The following pages link to (Q3347262):
Displaying 13 items.
- Credibilistic programming. An introduction to models and applications (Q383694) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- A probabilistic PDL (Q1063584) (← links)
- Theory and practice of uncertain programming (Q1874031) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- An assertion-based program logic for probabilistic programs (Q2323970) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- (Q2763684) (← links)
- A lambda-calculus foundation for universal probabilistic programming (Q2981999) (← links)
- Reasoning about Recursive Probabilistic Programs (Q4635928) (← links)
- Statistical mechanics of program systems (Q5485525) (← links)