An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.

Daniel Neider Ufuk Topcu

Published in: TACAS (2016)

Keyphrases

learning algorithm
learning tasks
learning systems
machine learning
learning process
serious games
inductive inference
learning scenarios
solving problems
digital games
mobile games