Title:	Automata-theoretic approach to verification of probabilistic systems
Speaker:	Sasha Rubin
Abstract:	N/A