Ausgabe 3-4/2014
Special Issue: Synthesis
Inhalt (5 Artikel)
Original Article
Strategy synthesis for multi-dimensional quantitative objectives
Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
Original Article
Efficient controller synthesis for a fragment of
Peter Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
Original Article
Synthesizing robust systems
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
Original Article
Distributed synthesis for regular and contextfree specifications
Wladimir Fridman, Bernd Puchala