Random Models for Evaluating Efficient Büchi Universality Checking. - Corey Fisher; Seth Fogarty; Moshe Y. Vardi (ICLA, 2017)