Netter: Probabilistic, Stateful Network Models
No abstract available.
Related papers
- Scalable verification of probabilistic networks PLDI 2019
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022
- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs CAV 2021
- Engineering an Efficient Probabilistic Exact Model Counter CAV 2025
- noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning OOPSLA 2026
- Distributed Markov Chains VMCAI 2015
- ProbNV: probabilistic verification of network control planes ICFP 2021
- Bayesian strategies: probabilistic programs as generalised graphical models ESOP 2021