PrIC3: Property Directed Reachability for MDPs

von Batz, Kevin
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Latticed k-Induction with an Application to Probabilistic Programs

von Batz, Kevin
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Generating Functions for Probabilistic Programs

von Klinkenberg, Lutz
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

Foundations for Entailment Checking in Quantitative Separation Logic

von Batz, Kevin
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Künstliche Intelligenz für den Spitzensport im Spannungsfeld zwischen Big und Small Data : (KISs-BiS)

von Hagg, Alexander
Veröffentlicht 2021

Künstliche Intelligenz für den Spitzensport im Spannungsfeld zwischen Big und Small Data : (KISs-BiS)

von Hagg, Alexander
Veröffentlicht 2021

Künstliche Intelligenz für den Spitzensport im Spannungsfeld zwischen Big und Small Data (KISs-BiS)

von Hagg, Alexander
Veröffentlicht 2022