h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Gehnen, Christina
%A Unruh, Dominique
%A Katoen, Joost-Pieter
%T Bayesian Inference in Quantum Programs
%V 334
%C Wadern
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
%M RWTH-2026-01495
%B LIPIcs - Leibniz international proceedings in informatics
%P 157:1-157:18
%D 2025
%< 52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis
%B 52. International Colloquium on Automata, Languages, and Programming
%C 8 Jul 2025 - 11 Jul 2025, Aarhus (Denmark)
Y2 8 Jul 2025 - 11 Jul 2025
M2 Aarhus, Denmark
%K Bayesian Inference (Other)
%K Program Semantics (Other)
%K Quantum Program Logics (Other)
%K Theory of computation → Logic and verification (Other)
%K Theory of computation → Program semantics (Other)
%K Theory of computation → Quantum information theory (Other)
%K Weakest Preconditions (Other)
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.4230/LIPIcs.ICALP.2025.157
%U https://publications.rwth-aachen.de/record/1028153