Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes
No abstract available.
Related papers
- Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures POPL 2024
- A fast and accurate framework to analyze and optimize cache memory behavior TOPLAS 2004
- Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance TACAS 2014
- Program verification as probabilistic inference POPL 2007
- From Loop Fusion to Kernel Fusion: A Domain-Specific Approach to Locality Optimization CGO 2019
- Verifying safety and accuracy of approximate parallel programs via canonical sequentialization OOPSLA 2019
- LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs ICFP 2026
- Value Iteration for Long-Run Average Reward in Markov Decision Processes CAV 2017