msc-thesis-christopher-brix

Post navigation

Paper in JAIR
December 23, 2024
The paper entitled “An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty” by Roman Andriushchenko, Milan Češka, Filip Macák (Brno University of Technology), Sebastian Junges (Radboud University) and Joost-Pieter Katoen …
Paper at TACAS 2025
December 22, 2024
The paper entitled “Fixed Point Certificates for Reachability and Expected Rewards in MDPs” by Tim Quatmann, Maximilian Schäffeler (TU Munich), Maximilian Weininger (ISTA), Tobias Winkler, Daniel Zilken and Krishnendu Chatterjee …
Paper at FoSSaCS 2025
December 22, 2024
The paper entitled “Quantifier Elimination and Craig Interpolation: The Quantitative Way” byKevin Batz, Joost-Pieter Katoen and Nora Orhan has been accepted at the FoSSaCS 2025 Conference (Hamilton, Canada). This paper …