Guessing Winning Policies in LTL Synthesis by Semantic Learning. - Jan Kretínský; Tobias Meggendorfer; Maximilian Prokop; Sabine Rieder (CAV (1), 2023)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. - Jan Kretínský; Tobias Meggendorfer; Maximilian Prokop; Ashkan Zarkhah (TACAS (1), 2025)