Items where Author is "Prokop, Maximilian"

Contribution in Book/Report/Proceedings

Kretínský, Jan and Meggendorfer, Tobias and Prokop, Maximilian and Rieder, Sabine (2023) Guessing Winning Policies in LTL Synthesis by Semantic Learning. In: Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 390-414. ISBN 9783031377051