Pages that link to "Item:Q2133180"
From MaRDI portal
The following pages link to A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180):
Displaying 4 items.
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- (Q4255557) (← links)
- Continualization of Probabilistic Programs With Correction (Q5041102) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)