Efficient controller synthesis for a fragment of MTL

Peter Bulychev
Alexandre David
Kim G. Larsen
Guangyuan Li
Acta Informatica, 50(2013), pp. 1-28

Abstract