Similar Items: Deriving Probability Density Functions from Probabilistic Functional Programs
- Computability of Probability Distributions and Characteristic Functions
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
- Coalgebraic Semantics for Probabilistic Logic Programming
- Polygraphic programs and polynomial-time functions
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Model Checking Temporal Properties of Recursive Probabilistic Programs