Partitioning Techniques in LTLf Synthesis.

Lucas Martinelli Tabajara Moshe Y. Vardi

Published in: IJCAI (2019)

Keyphrases

partitioning algorithm
program synthesis
texture synthesis
artificial intelligence
real world
genetic algorithm
learning algorithm
website
vertical partitioning