Maximilian Prokop, M.Sc.
Research specialist, Department of Computer Science
correspondence Address:
Botanická 554/68a, 602 00 Brno
e‑mail: | 544443@mail.muni.cz |
---|
social and academic networks: |
---|
Total number of publications: 1
2023
-
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, year: 2023