Evolution-Aware Heuristics for GR(1) Realizability Checking

Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert. Evolution-Aware Heuristics for GR(1) Realizability Checking. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025. pages 266-277, IEEE, 2025. [doi]

Abstract

Abstract is missing.