Performance Heuristics for GR(1) Realizability Checking and Related Analyses. - Roy Yatskan; Ilia Shevrin; Shahar Maoz (TACAS (1), 2025)