Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2001-04347,
  author       = {Patricia Bouyer and
                  Thomas Brihaye and
                  Mickael Randour and
                  C{\'{e}}dric Rivi{\`{e}}re and
                  Pierre Vandenhove},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Decisiveness of Stochastic Systems and its Application to Hybrid Models},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {149--165},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.10},
  doi          = {10.4204/EPTCS.326.10},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-04347.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2002-07545,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Benedikt Bollig and
                  Patricia Bouyer and
                  Matthias F{\"{u}}gger and
                  Nathalie Sznajder},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Synthesis in Presence of Dynamic Links},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {33--49},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.3},
  doi          = {10.4204/EPTCS.326.3},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-07545.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-09125,
  author       = {Yong Li and
                  Moshe Y. Vardi and
                  Lijun Zhang},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {On the Power of Unambiguity in B{\"{u}}chi Complementation},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {182--198},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.12},
  doi          = {10.4204/EPTCS.326.12},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09125.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10875,
  author       = {Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {LTLf Synthesis under Partial Observability: From Theory to Practice},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {1--17},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.1},
  doi          = {10.4204/EPTCS.326.1},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10875.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10876,
  author       = {Oebele Lijzenga and
                  Tom van Dijk},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Symbolic Parity Game Solvers that Yield Winning Strategies},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {18--32},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.2},
  doi          = {10.4204/EPTCS.326.2},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10876.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10877,
  author       = {Mara Downing and
                  Abtin Molavi and
                  Lucas Bang},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Symbolic Execution + Model Counting + Entropy Maximization = Automatic
                  Search Synthesis},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {50--65},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.4},
  doi          = {10.4204/EPTCS.326.4},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10877.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10878,
  author       = {Can Baskent},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {A Game Theoretical Semantics for Logics of Nonsense},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {66--81},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.5},
  doi          = {10.4204/EPTCS.326.5},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10878.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10880,
  author       = {Lauri Hella and
                  Antti Kuusisto and
                  Raine R{\"{o}}nnholm},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {82--96},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.6},
  doi          = {10.4204/EPTCS.326.6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10880.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10881,
  author       = {Florian Bruse and
                  J{\"{o}}rg Kreiker and
                  Martin Lange and
                  Marco S{\"{a}}lzer},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Local Higher-Order Fixpoint Iteration},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {97--113},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.7},
  doi          = {10.4204/EPTCS.326.7},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10881.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10882,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Emanuel Ramneantu and
                  Alexander Slivinskiy and
                  Maximilian Weininger},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Comparison of Algorithms for Simple Stochastic Games},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {131--148},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.9},
  doi          = {10.4204/EPTCS.326.9},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10882.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10883,
  author       = {Andrew M. Wells and
                  Morteza Lahijanian and
                  Lydia E. Kavraki and
                  Moshe Y. Vardi},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {LTLf Synthesis on Probabilistic Systems},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {166--181},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.11},
  doi          = {10.4204/EPTCS.326.11},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10883.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10885,
  author       = {Bader Abu Radi and
                  Orna Kupferman},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Canonicity in {GFG} and Transition-Based Automata},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {199--215},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.13},
  doi          = {10.4204/EPTCS.326.13},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10885.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10886,
  author       = {{\'{I}}{\~{n}}igo X. {\'{I}}ncer Romeo and
                  Leonardo Mangeruca and
                  Tiziano Villa and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {The Quotient in Preorder Theories},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {216--233},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.14},
  doi          = {10.4204/EPTCS.326.14},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10886.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-11638,
  author       = {Aniello Murano and
                  Sasha Rubin and
                  Martin Zimmermann},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Optimal Strategies in Weighted Limit Games},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {114--130},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.8},
  doi          = {10.4204/EPTCS.326.8},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-11638.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2009-09360,
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326},
  doi          = {10.4204/EPTCS.326},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-09360.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.