Jump to Content

Efficient controller synthesis for a fragment of MTL

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

Abstract