Maximilian Prokop

According to our database, Maximilian Prokop authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning.

Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2023

Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

Proceedings of the Computer Aided Verification - 35th International Conference, 2023