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í: 1

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