Artifact for "Guessing Winning Policies in LTL Synthesis by Semantic Learning"

Authors/Creators

• Prokop, Maximilian (Researcher)^{1, 2}