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

Publisher: Springer Science and Media

Volume 54, Number 7, 2017

Model-checking iterated games
pp. 625-654(30)
Authors: Huang, C. H.; Schewe, S.; Wang, F.

Favourites:
ADD

Safraless LTL synthesis considering maximal realizability
pp. 655-692(38)
Authors: Tomita, T.; Ueno, A.; Shimakawa, M.; Hagihara, S.; Yonezaki, N.

Favourites:
ADD

A theory of formal synthesis via inductive learning
pp. 693-726(34)
Authors: Jha, S.; Seshia, S. A.

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