In this paper, we systematize the modeling of probabilistic systems for the
purpose of analyzing them with model counting techniques. Starting from
unbiased coin flips, we show how to model biased coins, correlated coins, and
distributions over finite sets. From there, we continue with modeling
sequential systems, such as Markov chains, and revisit the relationship between
weighted and unweighted model counting. Thereby, this work provides a
conceptual framework for deriving #SAT encodings for probabilistic inference.

more |
pdf
| html
None.

ComputerPapers:
A Model Counter's Guide to Probabilistic Systems. https://t.co/flgWSQQA4h

arxiv_cslo:
A Model Counter's Guide to Probabilistic Systems https://t.co/Aa0DzsuvMq

Library for creating circuits that encode discrete distributions. The name comes from the random bit model of drawing from discrete distributions using coin flips.

Stargazers: 0

Subscribers: 1

Subscribers: 1

Forks: 0

Open Issues: 0

Open Issues: 0

None.

Sample Sizes : [2, 3, 3]

Authors: 3

Total Words: 6652

Unqiue Words: 1948

We introduce a novel real-valued endogenous logic for expressing properties
of probabilistic transition systems called Riesz modal logic. The design of the
syntax and semantics of this logic is directly inspired by the theory of Riesz
spaces, a mature field of mathematics at the intersection of universal algebra
and functional analysis. By using powerful results from this theory, we develop
the duality theory of Riesz modal logic in the form of an algebra-to-coalgebra
correspondence. This has a number of consequences including: a sound and
complete axiomatization, the proof that the logic characterizes probabilistic
bisimulation and other convenient results such as completion theorems. This
work is intended to be the basis for subsequent research on extensions of Riesz
modal logic with fixed-point operators.

more |
pdf
| html
None.

ComputerPapers:
Probabilistic logics based on Riesz spaces. https://t.co/jkFtgqUubD

arxiv_cslo:
Probabilistic logics based on Riesz spaces https://t.co/JDgT1OT7et

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 100,376 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible