Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretínský Alexander Manta Tobias Meggendorfer

Published in: ATVA (2019)

Keyphrases

learning algorithm
learning process
digital games
e learning
role playing
stochastic games
learning systems
online learning
active learning
natural language
multi agent
semantic web
domain independent
learning tasks
video games
serious games
solving problems
role play