Synthesis from LTL specifications with mean-payoff objectives (2013)

by A Bohy, V Bruyère, E Filiot, J-F Raskin
Venue:In Proc. of TACAS, LNCS 7795