Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1006-1402,
  author       = {Hugo Gimbert and
                  Wieslaw Zielonka},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Blackwell-Optimal Strategies in Priority Mean-Payoff Games},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {7--21},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.5},
  doi          = {10.4204/EPTCS.25.5},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1402.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1403,
  author       = {Krishnendu Chatterjee and
                  Rupak Majumdar},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Discounting in Games across Time Scales},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {22--29},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.6},
  doi          = {10.4204/EPTCS.25.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1403.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1404,
  author       = {Julien Cristau and
                  Claire David and
                  Florian Horn},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {How do we remember the past in randomised strategies?},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {30--39},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.7},
  doi          = {10.4204/EPTCS.25.7},
  timestamp    = {Sun, 05 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1404.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1405,
  author       = {Lubos Brim and
                  Jakub Chaloupka},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Using Strategy Improvement to Stay Alive},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {40--54},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.8},
  doi          = {10.4204/EPTCS.25.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1406,
  author       = {Giovanna D'Agostino and
                  Giacomo Lenzi},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {On Modal {\(\mu\)}-Calculus over Finite Graphs with Bounded Strongly
                  Connected Components},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {55--71},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.9},
  doi          = {10.4204/EPTCS.25.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1406.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1407,
  author       = {Davide Bresolin and
                  Pietro Sala and
                  Guido Sciavicco},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Begin, After, and Later: a Maximal Decidable Interval Temporal Logic},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {72--88},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.10},
  doi          = {10.4204/EPTCS.25.10},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1407.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1408,
  author       = {Andreas Morgenstern and
                  Klaus Schneider},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property
                  for Efficient {LTL} Synthesis},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {89--102},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.11},
  doi          = {10.4204/EPTCS.25.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1408.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1409,
  author       = {Oliver Friedmann and
                  Martin Lange},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Local Strategy Improvement for Parity Game Solving},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {118--131},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.13},
  doi          = {10.4204/EPTCS.25.13},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1409.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1410,
  author       = {John Fearnley and
                  Martin Zimmermann},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Playing Muller Games in a Hurry},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {146--161},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.15},
  doi          = {10.4204/EPTCS.25.15},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1410.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1411,
  author       = {Ivan Fial{\'{\i}}k},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Unitary Noise and the Mermin-GHZ Game},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {188--198},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.18},
  doi          = {10.4204/EPTCS.25.18},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1411.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1412,
  author       = {Marco Bernardo},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {On the Expressiveness of Markovian Process Calculi with Durational
                  and Durationless Actions},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {199--213},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.19},
  doi          = {10.4204/EPTCS.25.19},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1412.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1413,
  author       = {Davide Ancona and
                  Giovanni Lagorio},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Coinductive subtyping for abstract compilation of object-oriented
                  languages into Horn formulas},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {214--230},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.20},
  doi          = {10.4204/EPTCS.25.20},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1413.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1414,
  author       = {Catalin Dima and
                  Constantin Enea and
                  Dimitar P. Guelev},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Model-Checking an Alternating-time Temporal Logic with Knowledge,
                  Imperfect Information, Perfect Recall and Communicating Coalitions},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {103--117},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.12},
  doi          = {10.4204/EPTCS.25.12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1414.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1415,
  author       = {Wladimir Fridman},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Formats of Winning Strategies for Six Types of Pushdown Games},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {132--145},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.14},
  doi          = {10.4204/EPTCS.25.14},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1415.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-1416,
  author       = {Christian Appold},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic
                  Model Checking},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {173--187},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.17},
  doi          = {10.4204/EPTCS.25.17},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1416.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-2992,
  author       = {Soumya Paul and
                  Ramaswamy Ramanujam},
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Imitation in Large Games},
  booktitle    = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  pages        = {162--172},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25.16},
  doi          = {10.4204/EPTCS.25.16},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-2992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1006-1711,
  editor       = {Angelo Montanari and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Proceedings First Symposium on Games, Automata, Logic, and Formal
                  Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
                  June 2010},
  series       = {{EPTCS}},
  volume       = {25},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.25},
  doi          = {10.4204/EPTCS.25},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-1711.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.