A
Menu
January 01, 2020 conference-paper Open access Aachen paper

Weakest Preexpectation Semantics for Bayesian Inference

Lecture notes in computer science, pp. 44–121

DOI: 10.1007/978-3-030-55089-9_3 Full text (OA) OpenAlex

Authors 2

  1. Marcin Szymczak corresponding Aachen Software Modelling and Verification Group

    RWTH Aachen University

    Affiliation as printed

    Software Modelling and Verification Group, RWTH Aachen University, 52056, Aachen, Germany

    Software Modelling and Verification Group, RWTH Aachen University, Aachen, Germany#TAB#

  2. Joost-Pieter Katoen Aachen Software Modelling and Verification Group

    RWTH Aachen University

    Affiliation as printed

    Software Modelling and Verification Group, RWTH Aachen University, 52056, Aachen, Germany

    Software Modelling and Verification Group, RWTH Aachen University, Aachen, Germany#TAB#

Cited by 5 stored of 5

5 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 40