automata evolutionary-algorithms formal-methods genetic-algorithm linear-temporal-logic ltl matrix-multiplication owl-api reactive-synthesis sat search-based-software-engineering searching-algorithms strix synthesis