Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 51, Number 3, 2014

Editorial: special issue on synthesis
pp. 127-128(2)
Authors: Peled, D.; Schewe, S.

Favourites:
ADD

Strategy synthesis for multi-dimensional quantitative objectives
pp. 129-163(35)
Authors: Chatterjee, K.; Randour, M.; Raskin, J. F.

Favourites:
ADD

Efficient controller synthesis for a fragment of Formula Not Shown
pp. 165-192(28)
Authors: Bulychev, P.; David, A.; Larsen, K. G.; Li, G.

Favourites:
ADD

Synthesizing robust systems
pp. 193-220(28)
Authors: Bloem, R.; Chatterjee, K.; Greimel, K.; Henzinger, T. A.; Hofferek, G.; Jobstmann, B.; K├Ânighofer, B.; K├Ânighofer, R.

Favourites:
ADD

Distributed synthesis for regular and contextfree specifications
pp. 221-260(40)
Authors: Fridman, W.; Puchala, B.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more