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

Daniel Neider Ufuk Topcu

Published in: CoRR (2016)

Keyphrases

learning process
learning systems
learning algorithm
digital games
reinforcement learning
supervised learning
knowledge acquisition
learning tasks
prior knowledge
collaborative learning
learning problems
learning scenarios
stochastic games
deterministic finite automata