Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Jan Kretínský Tobias Meggendorfer Maximilian Prokop Sabine Rieder

Published in: CoRR (2023)

Keyphrases

learning process
knowledge acquisition
learning systems
learning algorithm
supervised learning
learning problems
natural language
prior knowledge
online learning
semantic information
mobile learning
domain independent
semantic network