Improved Randomized Approximation of Hard Universality and Emptiness Problems. - Pantelis Andreou; Stavros Konstantinidis; Taylor J. Smith (CoRR, 2024)