%0 Journal Article
%T Guessing Winning Policies in LTL Synthesis by Semantic Learning
%A Kretinsky, Jan
%A Meggendorfer, Tobias
%A Prokop, Maximilian
%A Rieder, Sabine
%J Electrical Engineering and Systems Science
%V 2023
%N 2305
%D 2023-05-24
%~ DeepDyve