Paper at LICS 2023

The paper entitled “On Certificates, Expected Runtimes, and Termination in Probabilistic
Pushdown Automata” by Tobias Winkler and Joost-Pieter Katoen has been accepted for presentation at the IEEE/ACM Annual Symposium on Logic on Computer Science 2023 to be held in Boston. The paper studies certification of numerical characteristics of probabilistic pushdown systems, that is, how one can witness that the termination probability (or expected running time) is above/below a certain threshold.