The paper "Symbolic Time and Space Tradeoffs for Probabilistic Verification" by Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil was accepted to the ACM/IEEE Symposium on Logic in Computer Science (LICS) 2021.
