Accepted Paper by Tobias Winkler und Joost-Pieter Katoen

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 (LICS) 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.