Maximilian Prokop

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Inductive Inference

Learning Process

Semantic Network

Mobile Learning

Top Venues

Publications

Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CoRR (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) (2023)