Login / Signup
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