C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Guessing Winning Policies in LTL Synthesis by Semantic Learning.
Jan Kretínský
Tobias Meggendorfer
Maximilian Prokop
Sabine Rieder
Published in:
CAV (1) (2023)
Keyphrases
</>
learning algorithm
learning process
supervised learning
reinforcement learning
learning tasks
inductive inference
decision trees
background knowledge