Accepted Paper by Tobias Winkler and Joost-Pieter Katoen

13/01/2023

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