Items where Author is "Prokop, Maximilian"

Contribution in Book/Report/Proceedings

Křetínský, Jan and Meggendorfer, Tobias and Prokop, Maximilian and Zarkhah, Ashkan (2025) SemML : Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. In: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings :. Lecture Notes in Computer Science . Springer, CAN, pp. 233-253. ISBN 9783031906428

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