Picture for Maximilian Prokop

Maximilian Prokop

Guessing Winning Policies in LTL Synthesis by Semantic Learning

Add code
May 24, 2023
Viaarxiv icon