Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs226.bht:"
@inproceedings{DBLP:journals/corr/0001P16b, author = {St{\'{e}}phane Le Roux and Arno Pauly}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract)}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {242--256}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.17}, doi = {10.4204/EPTCS.226.17}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/0001P16b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Ah-FatH16, author = {Patrick Ah{-}Fat and Michael Huth}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Partial Solvers for Parity Games: Effective Polynomial-Time Composition}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {1--15}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.1}, doi = {10.4204/EPTCS.226.1}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Ah-FatH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/ArecesFHM16, author = {Carlos Areces and Raul Fervari and Guillaume Hoffmann and Mauricio Martel}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Relation-Changing Logics as Fragments of Hybrid Logics}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {16--29}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.2}, doi = {10.4204/EPTCS.226.2}, timestamp = {Mon, 01 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ArecesFHM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BenerecettiDM16, author = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {A Delayed Promotion Policy for Parity Games}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {30--45}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.3}, doi = {10.4204/EPTCS.226.3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BenerecettiDM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BezhanishviliK16, author = {Nick Bezhanishvili and Clemens Kupke}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Games for Topological Fixpoint Logic}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {46--60}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.4}, doi = {10.4204/EPTCS.226.4}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BezhanishviliK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BouyerMS16, author = {Patricia Bouyer and Nicolas Markey and Daniel Stan}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {61--75}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.5}, doi = {10.4204/EPTCS.226.5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BouyerMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BozzelliMMPS16, author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Model Checking the Logic of Allen's Relations Meets and Started-by is P\({}^{\mbox{NP}}\)-Complete}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {76--90}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.6}, doi = {10.4204/EPTCS.226.6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BozzelliMMPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BresolinMS16, author = {Davide Bresolin and Emilio Mu{\~{n}}oz{-}Velasco and Guido Sciavicco}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {91--104}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.7}, doi = {10.4204/EPTCS.226.7}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BresolinMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Bruse16, author = {Florian Bruse}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Alternation Is Strict For Higher-Order Modal Fixpoint Logic}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {105--119}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.8}, doi = {10.4204/EPTCS.226.8}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Bruse16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BruseK016, author = {Florian Bruse and Daniel Kernberger and Martin Lange}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {A Canonical Model Construction for Iteration-Free {PDL} with Intersection}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {120--134}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.9}, doi = {10.4204/EPTCS.226.9}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BruseK016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BruyereHR16, author = {V{\'{e}}ronique Bruy{\`{e}}re and Quentin Hautem and Mickael Randour}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Window parity games: an alternative approach toward parity games with time bounds}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {135--148}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.10}, doi = {10.4204/EPTCS.226.10}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BruyereHR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DrosteR16, author = {Manfred Droste and George Rahonis}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Weighted Linear Dynamic Logic}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {149--163}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.11}, doi = {10.4204/EPTCS.226.11}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/DrosteR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/FontaineMMPS16, author = {Ga{\"{e}}lle Fontaine and Fabio Mogavero and Aniello Murano and Giuseppe Perelli and Loredana Sorrentino}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Cycle Detection in Computation Tree Logic}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {164--177}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.12}, doi = {10.4204/EPTCS.226.12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FontaineMMPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/GantyV16, author = {Pierre Ganty and Damir Valput}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Bounded-oscillation Pushdown Automata}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {178--197}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.13}, doi = {10.4204/EPTCS.226.13}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GantyV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HannulaKLV16, author = {Miika Hannula and Juha Kontinen and Martin L{\"{u}}ck and Jonni Virtema}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {On Quantified Propositional Logics and the Exponential Time Hierarchy}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {198--212}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.14}, doi = {10.4204/EPTCS.226.14}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HannulaKLV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HutagalungHK0L16, author = {Milka Hutagalung and Norbert Hundeshagen and Dietrich Kuske and Martin Lange and {\'{E}}tienne Lozes}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Multi-Buffer Simulations for Trace Language Inclusion}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {213--227}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.15}, doi = {10.4204/EPTCS.226.15}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HutagalungHK0L16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JacobsTZ15, author = {Swen Jacobs and Leander Tentrup and Martin Zimmermann}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Distributed {PROMPT-LTL} Synthesis}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {228--241}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.16}, doi = {10.4204/EPTCS.226.16}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/JacobsTZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/LibalV16, author = {Tomer Libal and Marco Volpe}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Certification of Prefixed Tableau Proofs for Modal Logic}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {257--271}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.18}, doi = {10.4204/EPTCS.226.18}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LibalV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Nakamura16, author = {Yoshiki Nakamura}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {The Almost Equivalence by Asymptotic Probabilities for Regular Languages and Its Computational Complexities}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {272--286}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.19}, doi = {10.4204/EPTCS.226.19}, timestamp = {Wed, 27 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Nakamura16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Reynolds16a, author = {Mark Reynolds}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {A New Rule for {LTL} Tableaux}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {287--301}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.20}, doi = {10.4204/EPTCS.226.20}, timestamp = {Fri, 02 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Reynolds16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/TentrupWZ15, author = {Leander Tentrup and Alexander Weinert and Martin Zimmermann}, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time}, booktitle = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, pages = {302--315}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226.21}, doi = {10.4204/EPTCS.226.21}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TentrupWZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/CantoneD16, editor = {Domenico Cantone and Giorgio Delzanno}, title = {Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016}, series = {{EPTCS}}, volume = {226}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.226}, doi = {10.4204/EPTCS.226}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CantoneD16.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.