Editorial: special issue on synthesis Doron PeledSven Schewe Editorial 19 April 2014 Pages: 127 - 128
Strategy synthesis for multi-dimensional quantitative objectives Krishnendu ChatterjeeMickael RandourJean-François Raskin Original Article 23 July 2013 Pages: 129 - 163
Efficient controller synthesis for a fragment of \(\hbox {MTL}_{0, \infty }\) Peter BulychevAlexandre DavidGuangyuan Li Original Article 17 December 2013 Pages: 165 - 192
Synthesizing robust systems Roderick BloemKrishnendu ChatterjeeRobert Könighofer Original Article 05 December 2013 Pages: 193 - 220
Distributed synthesis for regular and contextfree specifications Wladimir FridmanBernd Puchala Original Article 22 February 2014 Pages: 221 - 260