43 citations · 96 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen +1
Bayesian networks (BNs) are probabilistic graphical models for describing complex joint probability distributions. The main problem for BNs is inference: Determine the probability…
cs.LO2018★ 43 cited
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen +2
We present quantitative separation logic (). In contrast to classical separation logic, employs quantities which evaluate to real numbers instead of pr…