default search action

combined dblp search
author search
venue search
publication search

ask others

iWIGP 2011: Saarbrücken, Germany

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-3741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3741
Johannes Reich, Bernd Finkbeiner:
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. EPTCS 50, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4117
Rüdiger Ehlers:
Experimental Aspects of Synthesis. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4118
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4118
Christian von Essen, Barbara Jobstmann:
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives. 17-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4119
Andreas Morgenstern, Klaus Schneider:
A LTL Fragment for GR(1)-Synthesis. 33-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4120
Marcus Gelderie, Michael Holtmann:
Memory Reduction via Delayed Simulation. 46-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4121
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4121
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Synchronizing Objectives for Markov Decision Processes. 61-75

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.