iWIGP

201120112011

Keyphrases

Publications

2011

Marcus Gelderie, Michael Holtmann
Memory Reduction via Delayed Simulation iWIGP (2011)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Synchronizing Objectives for Markov Decision Processes iWIGP (2011)
Rüdiger Ehlers
Experimental Aspects of Synthesis iWIGP (2011)
Christian von Essen, Barbara Jobstmann
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives iWIGP (2011)
Andreas Morgenstern, Klaus Schneider
A LTL Fragment for GR(1)-Synthesis iWIGP (2011)

volume 50, 2011

Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. iWIGP 50 (2011)