Adrian Gallus ▲ Sign in to save

• Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)

  2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  1

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

  2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

  1

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

  2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

  1

  citations
• 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
• Weighted programming: a programming paradigm for specifying mathematical models

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

  18

  citations
• Weighted Programming

  2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations

6 results