Image de couverture de livre

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Klinkenberg, Lutz, Blumenthal, Christian, Chen, Mingshuai, Haase, Darion, Katoen, Joost-Pieter
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Unknown Biases and Timing Constraints in Timed Automata
par: Haase, Darion, et autres
Publié: (2024)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
par: Batz, Kevin, et autres
Publié: (2025)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
par: Haase, Darion, et autres
Publié: (2026)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

Quantifier Elimination and Craig Interpolation, Quantitatively
par: Batz, Kevin, et autres
Publié: (2025)

Model Checking Temporal Properties of Recursive Probabilistic Programs
par: Winkler, Tobias, et autres
Publié: (2021)

Bayesian Inference in Quantum Programs
par: Gehnen, Christina, et autres
Publié: (2025)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

Compositional Reasoning for Probabilistic Automata with Uncertainty
par: Mertens, Hannah, et autres
Publié: (2026)

Compositional Reasoning for Parametric Probabilistic Automata
par: Mertens, Hannah, et autres
Publié: (2025)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
par: Heck, Linus, et autres
Publié: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
par: Spork, Timm, et autres
Publié: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Probabilistic Model Checking Taken by Storm
par: Volk, Matthias, et autres
Publié: (2026)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
par: Aguirre, Alejandro, et autres
Publié: (2024)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

GATlab: Modeling and Programming with Generalized Algebraic Theories
par: Lynch, Owen, et autres
Publié: (2024)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
par: Batz, Kevin, et autres
Publié: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
par: Bao, Jialu, et autres
Publié: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
par: Zilberstein, Noam, et autres
Publié: (2024)

A Formally Verified Procedure for Width Inference in FIRRTL
par: Wang, Keyin, et autres
Publié: (2026)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
par: Ahrens, Emma, et autres
Publié: (2025)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
par: Lohse, Janine, et autres
Publié: (2026)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

Semantically Reflected Programs
par: Kamburjan, Eduard, et autres
Publié: (2025)

On Quantum Programming Languages
par: Valiron, Benoît
Publié: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Bialgebraic Reasoning on Stateful Languages
par: Goncharov, Sergey, et autres
Publié: (2025)

Higher-order bialgebraic semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Symmetric Proofs of Parameterized Programs
par: Cheng, Ruotong, et autres
Publié: (2026)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)