Christina Gehnen

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Temporal Properties

Top Venues

Log. Methods Comput. Sci.

Publications

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Model Checking Temporal Properties of Recursive Probabilistic Programs. Log. Methods Comput. Sci. 19 (4) (2023)
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Model Checking Temporal Properties of Recursive Probabilistic Programs. FoSSaCS (2022)
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Model Checking Temporal Properties of Recursive Probabilistic Programs. CoRR (2021)