Symbolic LTLf Synthesis.

Shufang Zhu Lucas M. Tabajara Jianwen Li Geguang Pu Moshe Y. Vardi

Published in: CoRR (2017)

Keyphrases

symbolic representation
neural learning
data sets
high level
program synthesis
connectionist learning
database
real time
neural network
real world
machine learning
information systems
special case
connectionist models
connectionist systems