Search Results for author: Maximilian Prokop

Found 1 papers, 1 papers with code

Guessing Winning Policies in LTL Synthesis by Semantic Learning

1 code implementation24 May 2023 Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

Firstly, checking whether a guessed strategy is winning is easier than constructing one.

Cannot find the paper you are looking for? You can Submit a new open access paper.