Infinite Runs in Abstract Completion.

Nao Hirokawa Aart Middeldorp Christian Sternagel Sarah Winkler

Published in: FSCD (2017)

Keyphrases

multiscale
higher level
link the wiki track
neural network
machine learning
decision making
case study
high level
cooperative
low level
scheduling problem
state machines