Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Jan Kretnsk, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

Browse the full CAV paper archive.