Maximilian Prokop, M.Sc.

Research specialist, Department of Computer Science

Correspondence Address:
Botanická 554/68a, 602 00 Brno

E‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 1

2023

Guessing Winning Policies in LTL Synthesis by Semantic Learning

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

Article in Proceedings

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