Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1807-10210,
  author       = {Tom van Dijk},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {A Parity Game Tale of Two Counters},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {107--122},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.8},
  doi          = {10.4204/EPTCS.305.8},
  timestamp    = {Tue, 08 Oct 2019 16:28:21 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-10210.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1902-07417,
  author       = {Kaizaburo Chubachi and
                  Diptarama Hendrian and
                  Ryo Yoshinaka and
                  Ayumi Shinohara},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Query Learning Algorithm for Residual Symbolic Finite Automata},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {140--153},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.10},
  doi          = {10.4204/EPTCS.305.10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-07417.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1903-11935,
  author       = {Kristoffer Arnsfelt Hansen and
                  Mikhail A. Raskin},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {A Stay-in-a-Set Game without a Stationary Equilibrium},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {83--90},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.6},
  doi          = {10.4204/EPTCS.305.6},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-11935.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-07653,
  author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Nicolas Markey and
                  Ritam Raha},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Reachability Games with Relaxed Energy Constraints},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {17--33},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.2},
  doi          = {10.4204/EPTCS.305.2},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07653.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-07656,
  author       = {Corina C{\^{\i}}rstea},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Resource-Aware Automata and Games for Optimal Synthesis},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {50--65},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.4},
  doi          = {10.4204/EPTCS.305.4},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07656.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-07659,
  author       = {Tom van Dijk and
                  Bob Rubbens},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Simple Fixpoint Iteration To Solve Parity Games},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {123--139},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.9},
  doi          = {10.4204/EPTCS.305.9},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-07663,
  author       = {Pascal Caron and
                  Edwin Hamel{-}De le Court and
                  Jean{-}Gabriel Luque},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Algebraic and Combinatorial Tools for State Complexity : Application
                  to the Star-Xor Problem},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {154--168},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.11},
  doi          = {10.4204/EPTCS.305.11},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07663.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-07676,
  author       = {{\'{E}}milie Charlier and
                  C{\'{e}}lia Cisternino and
                  Adeline Massuir},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {State Complexity of the Multiples of the Thue-Morse Set},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {34--49},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.3},
  doi          = {10.4204/EPTCS.305.3},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07676.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-08538,
  author       = {Daniel Neider and
                  Alexander Weinert and
                  Martin Zimmermann},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick
                  any Two for Free},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {1--16},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.1},
  doi          = {10.4204/EPTCS.305.1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-08538.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-08541,
  author       = {Paritosh K. Pandya and
                  Amol Wakankar},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Specification and Optimal Reactive Synthesis of Run-time Enforcement
                  Shields},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {91--106},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.7},
  doi          = {10.4204/EPTCS.305.7},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-08541.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1909-08543,
  author       = {Kitti Gelle and
                  Szabolcs Iv{\'{a}}n},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {On the Order Type of Scattered Context-Free Orderings},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {169--182},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.12},
  doi          = {10.4204/EPTCS.305.12},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-08543.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1909-05979,
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305},
  doi          = {10.4204/EPTCS.305},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-05979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.