A
Menu
January 01, 2026 article Open access Aachen paper

Caesar: A Deductive Verifier for Probabilistic Programs

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2026-08969 Full text (OA) OpenAlex

Authors 7

  1. Philipp Schröer Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Kevin Batz
  3. Umut Yiğit Dural Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  4. Darion Haase Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  5. Benjamin Lucien Kaminski
  6. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  7. Christoph Matheja

Cited by 0 stored of 0

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

References 0