Algorithms to synthesize optimal plans satisfying temporal logic constraints
Maybe take a look at http://www.syntcomp.org/

This is a competition of tools solving the LTL synthesis problem (and some related problems).