Rastislav Lenhardt (Oxford)

Games and Probabilistic Verification