Sigma*: symbolic learning of input-output specifications.

Matko Botincan Domagoj Babic

Published in: POPL (2013)

Keyphrases

input output
learning algorithm
neural network
reinforcement learning
learning tasks
internal states
artificial neural networks
state transition
connectionist systems