Guessing Winning Policies in LTL Synthesis by Semantic Learning

Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop +1

We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several…