EPTCS 50 - iWIGP 2011
Johannes Reich, Bernd Finkbeiner (Eds.): Proceedings International Workshop on Interactions, Games and Protocols. 2011 EPTCS 50 [ contents ]- Rüdiger Ehlers: Experimental Aspects of Synthesis. ... 1-16
- Christian von Essen, Barbara Jobstmann: Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives. ... 17-32
- Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Synchronizing Objectives for Markov Decision Processes. ... 61-75
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team