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

Publisher: Springer Science and Media

Volume 54, Number 1, 2017

Reactive synthesis without regret
pp. 3-39(37)
Authors: Hunter, P.; PĂ©rez, G. A.; Raskin, J. F.

Favourites:
ADD

Assume-admissible synthesis
pp. 41-83(43)
Authors: Brenguier, R.; Raskin, J. F.; Sankur, O.

Favourites:
ADD

Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
pp. 85-125(41)
Authors: Brihaye, T.; Geeraerts, G.; Haddad, A.; Monmege, 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