Maximilian Prokop

According to our database, Maximilian Prokop authored at least 4 papers between 2023 and 2026.

Collaborative distances:

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

2026

SemML 2.0: Synthesizing Controllers for LTL.

Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop

CoRR, April, 2026

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions.

Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber

CoRR, February, 2026

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