Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1711-10636,
  author       = {Roderick Bloem and
                  Sven Schewe and
                  Ayrat Khalimov},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {CTL* synthesis via {LTL} synthesis},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {4--22},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.4},
  doi          = {10.4204/EPTCS.260.4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10636.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-10637,
  author       = {Bernd Finkbeiner and
                  Manuel Gieseking and
                  Jesko Hecking{-}Harbusch and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {Symbolic vs. Bounded Synthesis for Petri Games},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {23--43},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.5},
  doi          = {10.4204/EPTCS.260.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10637.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-10639,
  author       = {Hadi Ravanbakhsh and
                  Sriram Sankaranarayanan},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {A Class of Control Certificates to Ensure Reach-While-Stay for Switched
                  Systems},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {44--61},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.6},
  doi          = {10.4204/EPTCS.260.6},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10639.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-10641,
  author       = {Andrew Reynolds and
                  Cesare Tinelli},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {SyGuS Techniques in the Core of an {SMT} Solver},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {81--96},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.8},
  doi          = {10.4204/EPTCS.260.8},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10641.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11438,
  author       = {Rajeev Alur and
                  Dana Fisman and
                  Rishabh Singh and
                  Armando Solar{-}Lezama},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {SyGuS-Comp 2017: Results and Analysis},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {97--115},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.9},
  doi          = {10.4204/EPTCS.260.9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11438.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11439,
  author       = {Swen Jacobs and
                  Nicolas Basset and
                  Roderick Bloem and
                  Romain Brenguier and
                  Maximilien Colange and
                  Peter Faymonville and
                  Bernd Finkbeiner and
                  Ayrat Khalimov and
                  Felix Klein and
                  Thibaud Michaud and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Ocan Sankur and
                  Leander Tentrup},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {The 4th Reactive Synthesis Competition {(SYNTCOMP} 2017): Benchmarks,
                  Participants {\&} Results},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {116--143},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.10},
  doi          = {10.4204/EPTCS.260.10},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11439.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1712-01103,
  author       = {Elizabeth Firman and
                  Shahar Maoz and
                  Jan Oliver Ringert},
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {Performance Heuristics for {GR(1)} Synthesis and Related Algorithms},
  booktitle    = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  pages        = {62--80},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.260.7},
  doi          = {10.4204/EPTCS.260.7},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01103.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1711-10224,
  editor       = {Dana Fisman and
                  Swen Jacobs},
  title        = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
                  Germany, 22nd July 2017},
  series       = {{EPTCS}},
  volume       = {260},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.10224},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10224.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.