99 citations · 115 across the 7 of their papers we have counts for
9 papers
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
Darion Haase, Kevin Batz, Adrian Gallus +4
A fundamental computational task in probabilistic programming is to infer a program's output (posterior) distribution from a given initial (prior) distribution. This problem is cha…
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen +2
We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring possibly unbounded loops. Our method is built on a d…
Exact Probabilistic Inference Using Generating Functions
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen +1
Probabilistic programs are typically normal-looking programs describing posterior probability distributions. They intrinsically code up randomized algorithms and have long been at…
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg +1
We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability…
Development of an Organic Plastic Scintillator based Muon Veto Operating at Sub-Kelvin Temperatures for the NUCLEUS Experiment
Andreas Erhart, Victoria Wagner, Ludwig Klinkenberg +6
The NUCLEUS experiment aims at measuring the coherent elastic scattering of nuclear reactor antineutrinos off nuclei using cryogenic calorimeters. Operating at an overburden of 3m.…
Coherent elastic neutrino-nucleus scattering: Terrestrial and astrophysical applications
M. Abdullah, H. Abele, D. Akimov +272
Coherent elastic neutrino-nucleus scattering (CENS) is a process in which neutrinos scatter on a nucleus which acts as a single particle. Though the total cross section is large…
EXCESS workshop: Descriptions of rising low-energy spectra
P. Adari, A. Aguilar-Arevalo, D. Amidei +303
Many low-threshold experiments observe sharply rising event rates of yet unknown origins below a few hundred eV, and larger than expected from known backgrounds. Due to the signifi…
Development of a compact muon veto for the NUCLEUS experiment
V. Wagner, R. Rogly, A. Erhart +52
The NUCLEUS experiment aims to measure coherent elastic neutrino nucleus scattering of reactor anti-neutrinos using cryogenic calorimeters. Operating at an overburden of 3 m.w.e.,…
Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski +3
This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we de…