Abgeschlossene Arbeiten

2026

Ivo Melse
Masterarbeit · Radboud University, Niederlande · 2026

2025

Daniel Basgöze
Weakest Preexpectation-Based Probabilistic Program Analysis using Binary Decision Diagrams
Masterarbeit · RWTH Aachen

2024

Daniel Zilken
Distributional Invariants for Probabilistic Programs
Masterarbeit · RWTH Aachen

Dinis Vitorino
Most Probable Explanations in Bayesian Networks via Weighted Programming
Bachelorarbeit · RWTH Aachen

Nora Orhan
Quantitative Quantifier Elimination
Bachelorarbeit · RWTH Aachen

2023

Tom Biskup
Invariant-Based Strategy Synthesis for Nondeterministic Probabilistic Programs
Masterarbeit · RWTH Aachen
Ausgezeichnet mit dem Berthold Vöcking Master Award.

2022

Philipp Schröer
A Deductive Verifier for Probabilistic Programs
Masterarbeit · RWTH Aachen

Ben Sturgis
Automatic Verification of Loop Invariants in Weighted Programs
Bachelorarbeit

2021

Marvin Jansen
Decidability and Complexity of Entailment Checking in Quantitative Separation Logic
Masterarbeit · RWTH Aachen
Ausgezeichnet mit dem CS Department Award der RWTH Aachen.

Adrian Gallus
RPrIC3: PrIC3 for Expected Rewards
Bachelorarbeit · RWTH Aachen

Florian Keßler
On the Decidability of Entailment Checking in Quantitative Separation Logics
Bachelorarbeit · RWTH Aachen
Ausgezeichnet mit dem CS Department Award der RWTH Aachen.