Symbolic LTLf Synthesis.

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

Published in: IJCAI (2017)

Keyphrases

program synthesis
high level
database
artificial intelligence
data structure
information retrieval
three dimensional
artificial neural networks
facial expressions
texture synthesis
symbolic data