Synthesis of Controllable ptSTL Formulas.

Irmak Saglam Ebru Aydin Gol

Published in: SIU (2020)

Keyphrases

program synthesis
databases
artificial intelligence
knowledge base
search space
evolutionary algorithm
mathematical formulas