Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs256.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/Denkinger17,
author = {Tobias Denkinger},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Approximation of weighted automata with storage},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {91--105},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.7},
doi = {10.4204/EPTCS.256.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Denkinger17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KuusistoR17,
author = {Antti Kuusisto and
Fabian Reiter},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Emptiness Problems for Distributed Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {210--222},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.15},
doi = {10.4204/EPTCS.256.15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuusistoR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-04845,
author = {Karoliina Lehtinen},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {The descriptive complexity of modal mu model-checking parity games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {76--90},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.6},
doi = {10.4204/EPTCS.256.6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-04845.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02092,
author = {Aleksandar S. Dimovski},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Probabilistic Analysis Based On Symbolic Game Semantics and Model
Counting},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {1--15},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.1},
doi = {10.4204/EPTCS.256.1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02093,
author = {Lisa Hutschenreiter and
Christel Baier and
Joachim Klein},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Parametric Markov Chains: {PCTL} Complexity and Fraction-free Gaussian
Elimination},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {16--30},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.2},
doi = {10.4204/EPTCS.256.2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02094,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {On the Complexity of Model Checking for Syntactically Maximal Fragments
of the Interval Temporal Logic {HS} with Regular Expressions},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {31--45},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.3},
doi = {10.4204/EPTCS.256.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02096,
author = {St{\'{e}}phane Le Roux and
{\'{E}}rik Martin{-}Dorel and
Jan{-}Georg Smaus},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {An Existence Theorem of Nash Equilibrium in Coq and Isabelle},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {46--60},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.4},
doi = {10.4204/EPTCS.256.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02097,
author = {Domenico Cantone and
Alfio Giarlotta and
Stephen Watson},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {61--75},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.5},
doi = {10.4204/EPTCS.256.5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02098,
author = {Manfred Droste and
Temur Kutsia and
George Rahonis and
Wolfgang Schreiner},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {MK-fuzzy Automata and {MSO} Logics},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {106--120},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.8},
doi = {10.4204/EPTCS.256.8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02099,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Robust Exponential Worst Cases for Divide-et-Impera Algorithms for
Parity Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {121--135},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.9},
doi = {10.4204/EPTCS.256.9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02100,
author = {Thomas Brihaye and
Gilles Geeraerts and
Marion Hallet and
St{\'{e}}phane Le Roux},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Dynamics and Coalitions in Sequential Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {136--150},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.10},
doi = {10.4204/EPTCS.256.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02101,
author = {John Christopher McCabe{-}Dansted and
Mark Reynolds},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {A Parallel Linear Temporal Logic Tableau},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {166--179},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.12},
doi = {10.4204/EPTCS.256.12},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02102,
author = {David M{\"{u}}ller and
Salomon Sickert},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {{LTL} to Deterministic Emerson-Lei Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {180--194},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.13},
doi = {10.4204/EPTCS.256.13},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02103,
author = {Stefano Tonetta},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Linear-time Temporal Logic with Event Freezing Functions},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {195--209},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.14},
doi = {10.4204/EPTCS.256.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02104,
author = {Dario Della Monica and
Angelo Montanari and
Pietro Sala},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Beyond {\(\omega\)}BS-regular Languages: {\(\omega\)}T-regular Expressions
and Counter-Check Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {223--237},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.16},
doi = {10.4204/EPTCS.256.16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02105,
author = {Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Model Checking Social Network Models},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {238--252},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.17},
doi = {10.4204/EPTCS.256.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02106,
author = {Simon Busard and
Charles Pecheur},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {A Backward-traversal-based Approach for Symbolic Model Checking of
Uniform Strategies for Constrained Reachability},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {253--267},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.18},
doi = {10.4204/EPTCS.256.18},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02107,
author = {Laura Bozzelli and
Aniello Murano},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {On the Complexity of {ATL} and ATL* Module Checking},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {268--282},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.19},
doi = {10.4204/EPTCS.256.19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02108,
author = {Andrei Sandler and
Olga Tveretina},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {ParaPlan: {A} Tool for Parallel Reachability Analysis of Planar Polygonal
Differential Inclusion Systems},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {283--296},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.20},
doi = {10.4204/EPTCS.256.20},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-03539,
author = {Martin Zimmermann},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Finite-state Strategies in Delay Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {151--165},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.11},
doi = {10.4204/EPTCS.256.11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-03539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-01761,
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
year = {2017},
url = {http://arxiv.org/abs/1709.01761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-01761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-24 14:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
