Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas.

Irmak Saglam Ebru Aydin Gol

Published in: CoRR (2020)

Keyphrases

program synthesis
texture synthesis
real world
information retrieval
real numbers
mathematical formulas
functional programs