Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Concurrent Reachability Games"
download as .bib file
@inproceedings{DBLP:conf/csl/BordaisB022,
author = {Benjamin Bordais and
Patricia Bouyer and
St{\'{e}}phane Le Roux},
editor = {Florin Manea and
Alex Simpson},
title = {Optimal Strategies in Concurrent Reachability Games},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {7:1--7:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.7},
doi = {10.4230/LIPICS.CSL.2022.7},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/BordaisB022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-14724,
author = {Benjamin Bordais and
Patricia Bouyer and
St{\'{e}}phane Le Roux},
title = {Optimal strategies in concurrent reachability games},
journal = {CoRR},
volume = {abs/2110.14724},
year = {2021},
url = {https://arxiv.org/abs/2110.14724},
eprinttype = {arXiv},
eprint = {2110.14724},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-14724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EtessamiMSY19,
author = {Kousha Etessami and
Emanuel Martinov and
Alistair Stewart and
Mihalis Yannakakis},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Reachability for Branching Concurrent Stochastic Games},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {115:1--115:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.115},
doi = {10.4230/LIPICS.ICALP.2019.115},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/EtessamiMSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-08348,
author = {Julia Eisentraut and
Jan Kret{\'{\i}}nsk{\'{y}} and
Alexej Rotar},
title = {Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic
Reachability Games},
journal = {CoRR},
volume = {abs/1909.08348},
year = {2019},
url = {http://arxiv.org/abs/1909.08348},
eprinttype = {arXiv},
eprint = {1909.08348},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-03907,
author = {Kousha Etessami and
Emanuel Martinov and
Alistair Stewart and
Mihalis Yannakakis},
title = {Reachability for Branching Concurrent Stochastic Games},
journal = {CoRR},
volume = {abs/1806.03907},
year = {2018},
url = {http://arxiv.org/abs/1806.03907},
eprinttype = {arXiv},
eprint = {1806.03907},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-03907.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatterjeeHI15,
author = {Krishnendu Chatterjee and
Kristoffer Arnsfelt Hansen and
Rasmus Ibsen{-}Jensen},
title = {Strategy Complexity of Concurrent Stochastic Games with Safety and
Reachability Objectives},
journal = {CoRR},
volume = {abs/1506.02434},
year = {2015},
url = {http://arxiv.org/abs/1506.02434},
eprinttype = {arXiv},
eprint = {1506.02434},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeHI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChatterjeeAH13,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy improvement for concurrent reachability and turn-based stochastic
safety games},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {5},
pages = {640--657},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2012.12.001},
doi = {10.1016/J.JCSS.2012.12.001},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChatterjeeAH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FrederiksenM13,
author = {S{\o}ren Kristoffer Stiil Frederiksen and
Peter Bro Miltersen},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Monomial Strategies for Concurrent Reachability Games and Other Stochastic
Games},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {122--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_12},
doi = {10.1007/978-3-642-41036-9\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/FrederiksenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/KrishnaMC12,
author = {Shankara Narayanan Krishna and
Lakshmi Manasa and
Ashish Chiplunkar},
editor = {Ramaswamy Ramanujam and
Srini Ramaswamy},
title = {Nash Equilibrium in Weighted Concurrent Timed Games with Reachability
Objectives},
booktitle = {Distributed Computing and Internet Technology - 8th International
Conference, {ICDCIT} 2012, Bhubaneswar, India, February 2-4, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7154},
pages = {117--128},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28073-3\_11},
doi = {10.1007/978-3-642-28073-3\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/KrishnaMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-2834,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy Improvement for Concurrent Reachability and Safety Games},
journal = {CoRR},
volume = {abs/1201.2834},
year = {2012},
url = {http://arxiv.org/abs/1201.2834},
eprinttype = {arXiv},
eprint = {1201.2834},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-2834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HansenKM09,
author = {Kristoffer Arnsfelt Hansen and
Michal Kouck{\'{y}} and
Peter Bro Miltersen},
title = {Winning Concurrent Reachability Games Requires Doubly-Exponential
Patience},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {332--341},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.44},
doi = {10.1109/LICS.2009.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HansenKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/ChatterjeeAH09,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
editor = {Claire Mathieu},
title = {Termination criteria for solving concurrent safety and reachability
games},
booktitle = {Proceedings of the Twentieth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2009, New York, NY, USA, January 4-6, 2009},
pages = {197--206},
publisher = {{SIAM}},
year = {2009},
url = {https://doi.org/10.1137/1.9781611973068.23},
doi = {10.1137/1.9781611973068.23},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/ChatterjeeAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-4017,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Termination Criteria for Solving Concurrent Safety and Reachability
Games},
journal = {CoRR},
volume = {abs/0809.4017},
year = {2008},
url = {http://arxiv.org/abs/0809.4017},
eprinttype = {arXiv},
eprint = {0809.4017},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-4017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlfaroHK07,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Orna Kupferman},
title = {Concurrent reachability games},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {3},
pages = {188--217},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.008},
doi = {10.1016/J.TCS.2007.07.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlfaroHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ChatterjeeAH06,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy Improvement for Concurrent Reachability Games},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {291--300},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.48},
doi = {10.1109/QEST.2006.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ChatterjeeAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AlfaroHK98,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Orna Kupferman},
title = {Concurrent Reachability Games},
booktitle = {39th Annual Symposium on Foundations of Computer Science, {FOCS} '98,
November 8-11, 1998, Palo Alto, California, {USA}},
pages = {564--575},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/SFCS.1998.743507},
doi = {10.1109/SFCS.1998.743507},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AlfaroHK98.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-25 11:38 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:
