W2982014993

• 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
• 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
• Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

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

  33

  citations
• The probabilistic termination tool amber

  2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  5

  citations
• Automated Termination Analysis of Polynomial Probabilistic Programs

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

  31

  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
• PrIC3: Property Directed Reachability for MDPs

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

  15

  citations

7 results