Akzeptiertes Paper von Tobias Winkler und Joost-Pieter Katoen

Congratulations to Tobias Winkler and Joost-Pieter Katoen for their accepted paper "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration" for TACAS 2023.