Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1102-4117,
  author       = {R{\"{u}}diger Ehlers},
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {Experimental Aspects of Synthesis},
  booktitle    = {Proceedings International Workshop on Interactions, Games and Protocols,
                  iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
  series       = {{EPTCS}},
  volume       = {50},
  pages        = {1--16},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.50.1},
  doi          = {10.4204/EPTCS.50.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4117.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-4118,
  author       = {Christian von Essen and
                  Barbara Jobstmann},
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {Synthesizing Systems with Optimal Average-Case Behavior for Ratio
                  Objectives},
  booktitle    = {Proceedings International Workshop on Interactions, Games and Protocols,
                  iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
  series       = {{EPTCS}},
  volume       = {50},
  pages        = {17--32},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.50.2},
  doi          = {10.4204/EPTCS.50.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4118.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-4119,
  author       = {Andreas Morgenstern and
                  Klaus Schneider},
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {A {LTL} Fragment for GR(1)-Synthesis},
  booktitle    = {Proceedings International Workshop on Interactions, Games and Protocols,
                  iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
  series       = {{EPTCS}},
  volume       = {50},
  pages        = {33--45},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.50.3},
  doi          = {10.4204/EPTCS.50.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-4120,
  author       = {Marcus Gelderie and
                  Michael Holtmann},
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {Memory Reduction via Delayed Simulation},
  booktitle    = {Proceedings International Workshop on Interactions, Games and Protocols,
                  iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
  series       = {{EPTCS}},
  volume       = {50},
  pages        = {46--60},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.50.4},
  doi          = {10.4204/EPTCS.50.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4120.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-4121,
  author       = {Laurent Doyen and
                  Thierry Massart and
                  Mahsa Shirmohammadi},
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {Synchronizing Objectives for Markov Decision Processes},
  booktitle    = {Proceedings International Workshop on Interactions, Games and Protocols,
                  iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
  series       = {{EPTCS}},
  volume       = {50},
  pages        = {61--75},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.50.5},
  doi          = {10.4204/EPTCS.50.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4121.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1102-3741,
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {Proceedings International Workshop on Interactions, Games and Protocols,
                  iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011},
  series       = {{EPTCS}},
  volume       = {50},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.50},
  doi          = {10.4204/EPTCS.50},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-3741.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}