2 papers
cs.LO2026
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
Quantum weakest preconditions are a fundamental tool for program verification of quantum programs. Many variations have been reported in the literature. We revisit quantum weakest…
cs.LO2025
Bayesian Inference in Quantum Programs
Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
Conditioning is a key feature in probabilistic programming to enable modeling the influence of data (also known as observations) to the probability distribution described by such p…