Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation
No abstract available.
Related papers
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Bitwidth customization in image processing pipelines using interval analysis and SMT solvers CC 2020
- Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving PLDI 2024
- LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs ICFP 2026
- Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation OOPSLA 2026
- Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming POPL 2026
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- A Programming Language for Data Privacy with Accuracy Estimations TOPLAS 2021