Weighted Automata for Exact Inference in Discrete Probabilistic Programs

• Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations

1 result

• Stan : A Probabilistic Programming Language

  2017 Journal of Statistical Software article Mathematics Statistical Methods and Bayesian Inference Open access

  8,378

  citations
• PRISM 4.0: Verification of Probabilistic Real-Time Systems

  2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  2,396

  citations
• Semantics of probabilistic programs

  1981 Journal of Computer and System Sciences article Computer Science Logic, programming, and type systems Open access

  507

  citations
• Abstraction, Refinement and Proof for Probabilistic Systems

  2005 Springer eBooks conference-abstract Computer Science Logic, Reasoning, and Knowledge

  368

  citations
• Probabilistic programming

  2014 conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  363

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  246

  citations
• PSI: Exact Symbolic Inference for Probabilistic Programs

  2016 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

  161

  citations
• Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata

  1997 Springer eBooks book-chapter Computer Science semigroups and automata theory

  155

  citations
• A probabilistic PDL

  1983 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

  116

  citations
• Scaling exact inference for discrete probabilistic programs

  2020 Proceedings of the ACM on Programming Languages article Computer Science Bayesian Modeling and Causal Inference Open access

  85

  citations
• Mixed Compound Poisson Distributions

  1986 Astin Bulletin article Decision Sciences Probability and Risk Models Open access

  85

  citations
• Conditioning in Probabilistic Programming

  2018 ACM Transactions on Programming Languages and Systems article Computer Science Formal Methods in Verification Open access

  62

  citations
• Computing Conditional Probabilities in Markovian Models Efficiently

  2014 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  47

  citations
• On Correctness, Precision, and Performance in Quantitative Verification

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  39

  citations
• SPPL: probabilistic programming with fast exact symbolic inference

  2021 conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  38

  citations
• Does a Program Yield the Right Distribution?

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  14

  citations
• Exact Recursive Probabilistic Programming

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  12

  citations
• Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

  2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• Generating Functions for Probabilistic Programs

  2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  9

  citations
• Probabilistic Programming Languages for Modeling Autonomous Systems

  2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI) conference-paper Engineering Robotics and Sensor-Based Localization

  4

  citations