TY  - RPRT
TI  - Guessing Winning Policies in LTL Synthesis by Semantic Learning
AU  - Jan Kretinsky
AU  - Tobias Meggendorfer
AU  - Maximilian Prokop
AU  - Sabine Rieder
PY  - 2023
UR  - https://arxiv.org/abs/2305.15109
ID  - 2305.15109
ER  -