Maximilian Prokop, M.Sc.

odborný pracovník ve výzkumu – Katedra teorie programování

korespondenční adresa:
Botanická 554/68a, 602 00 Brno

e‑mail:

sociální a akademické sítě:

Základní údaje

Druh

Počet publikací: 2

2025

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian ZARKAH Ashkan

Článek ve sborníku

Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025., rok: 2025

2023

Guessing Winning Policies in LTL Synthesis by Semantic Learning

KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian RIEDER Sabine

Článek ve sborníku

Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, rok: 2023