Herzliche Einladung zu Erin Carsons (Karlsuniversität Prag) Vortrag am 1.9. um 10:00 Uhr im SR 7 an der Fakultät für Informatik zum Thema "Improving...
The paper "Symbolic Time and Space Tradeoffs for Probabilistic Verification" by Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander...