Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs202.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/CernyKM16,
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.202},
  doi          = {10.4204/EPTCS.202},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CernyKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/AlurFSS16,
  author       = {Rajeev Alur and
                  Dana Fisman and
                  Rishabh Singh and
                  Armando Solar{-}Lezama},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {Results and Analysis of SyGuS-Comp'15},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {3--26},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.3},
  doi          = {10.4204/EPTCS.202.3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlurFSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BrenguierPRS16,
  author       = {Romain Brenguier and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Ocan Sankur},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {Compositional Algorithms for Succinct Safety Games},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {98--111},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.7},
  doi          = {10.4204/EPTCS.202.7},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrenguierPRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FilippidisMH16,
  author       = {Ioannis Filippidis and
                  Richard M. Murray and
                  Gerard J. Holzmann},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {A multi-paradigm language for reactive synthesis},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {73--97},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.6},
  doi          = {10.4204/EPTCS.202.6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FilippidisMH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HuangM16,
  author       = {Xiaowei Huang and
                  Ron van der Meyden},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {The complexity of approximations for epistemic synthesis (extended
                  abstract)},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {120--137},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.9},
  doi          = {10.4204/EPTCS.202.9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HuangM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/JacobsBBKPRRSST16,
  author       = {Swen Jacobs and
                  Roderick Bloem and
                  Romain Brenguier and
                  Robert K{\"{o}}nighofer and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Leonid Ryzhyk and
                  Ocan Sankur and
                  Martina Seidl and
                  Leander Tentrup and
                  Adam Walker},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {27--57},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.4},
  doi          = {10.4204/EPTCS.202.4},
  timestamp    = {Thu, 08 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Khalimov16,
  author       = {Ayrat Khalimov},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {Specification Format for Reactive Synthesis Problems},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {112--119},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.8},
  doi          = {10.4204/EPTCS.202.8},
  timestamp    = {Fri, 23 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Khalimov16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MaozR16,
  author       = {Shahar Maoz and
                  Jan Oliver Ringert},
  editor       = {Pavol Cern{\'{y}} and
                  Viktor Kuncak and
                  Parthasarathy Madhusudan},
  title        = {Synthesizing a Lego Forklift Controller in {GR(1):} {A} Case Study},
  booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
                  CA, USA, 18th July 2015},
  series       = {{EPTCS}},
  volume       = {202},
  pages        = {58--72},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.202.5},
  doi          = {10.4204/EPTCS.202.5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MaozR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.