Corey Fisher, Seth Fogarty, Moshe Y. Vardi. Random Models for Evaluating Efficient Büchi Universality Checking. In Sujata Ghosh, Sanjiva Prasad, editors, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Volume 10119 of Lecture Notes in Computer Science, pages 91-105, Springer, 2017. [doi]
Abstract is missing.