Bayesian inference in quantum programs

DOI10.4230/LIPICS.ICALP.2025.157MaRDI QIDQ7397617zbMATH OpenFDO

Authors Dominique Unruh, Joost-Pieter Katoen

Publication date 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2025.157

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A probabilistic PDL
• Abstraction, Refinement and Proof for Probabilistic Systems
• Formal semantics of a classical-quantum language
• Guarded commands, nondeterminacy and formal derivation of programs
• scientific article; zbMATH DE number 5708042 (Why is no real title available?)
• scientific article; zbMATH DE number 3680516 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1377487 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Quantum computation and quantum information. 10th anniversary edition
• Quantum computing, postselection, and probabilistic polynomial-time
• Quantum weakest preconditions
• The principles of quantum mechanics.

This page was built for publication: Bayesian inference in quantum programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7397617)