SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning.

Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah

Browse the full TACAS paper archive.