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