Concurrent* Reachability* Games*OKBenjamin BordaisPatricia BouyerStéphane Le Roux 0001Optimal Strategies in Concurrent Reachability Games.CSL7:1-7:172022Conference and Workshop Papersopenconf/csl/BordaisB02210.4230/LIPICS.CSL.2022.7https://doi.org/10.4230/LIPIcs.CSL.2022.7https://dblp.org/rec/conf/csl/BordaisB022URL#813860Benjamin BordaisPatricia BouyerStéphane Le Roux 0001Optimal strategies in concurrent reachability games.CoRRabs/2110.147242021Informal and Other Publicationsopenjournals/corr/abs-2110-14724https://arxiv.org/abs/2110.14724https://dblp.org/rec/journals/corr/abs-2110-14724URL#1484699Kousha EtessamiEmanuel MartinovAlistair StewartMihalis YannakakisReachability for Branching Concurrent Stochastic Games.ICALP115:1-115:142019Conference and Workshop Papersopenconf/icalp/EtessamiMSY1910.4230/LIPICS.ICALP.2019.115https://doi.org/10.4230/LIPIcs.ICALP.2019.115https://dblp.org/rec/conf/icalp/EtessamiMSY19URL#2179556Julia EisentrautJan KretínskýAlexej RotarStopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games.CoRRabs/1909.083482019Informal and Other Publicationsopenjournals/corr/abs-1909-08348http://arxiv.org/abs/1909.08348https://dblp.org/rec/journals/corr/abs-1909-08348URL#2336181Kousha EtessamiEmanuel MartinovAlistair StewartMihalis YannakakisReachability for Branching Concurrent Stochastic Games.CoRRabs/1806.039072018Informal and Other Publicationsopenjournals/corr/abs-1806-03907http://arxiv.org/abs/1806.03907https://dblp.org/rec/journals/corr/abs-1806-03907URL#2705717Krishnendu ChatterjeeKristoffer Arnsfelt HansenRasmus Ibsen-JensenStrategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives.CoRRabs/1506.024342015Informal and Other Publicationsopenjournals/corr/ChatterjeeHI15http://arxiv.org/abs/1506.02434https://dblp.org/rec/journals/corr/ChatterjeeHI15URL#3673676Krishnendu ChatterjeeLuca de AlfaroThomas A. HenzingerStrategy improvement for concurrent reachability and turn-based stochastic safety games.J. Comput. Syst. Sci.795640-6572013Journal Articlesopenjournals/jcss/ChatterjeeAH1310.1016/J.JCSS.2012.12.001https://doi.org/10.1016/j.jcss.2012.12.001https://dblp.org/rec/journals/jcss/ChatterjeeAH13URL#4043062Søren Kristoffer Stiil FrederiksenPeter Bro MiltersenMonomial Strategies for Concurrent Reachability Games and Other Stochastic Games.RP122-1342013Conference and Workshop Papersclosedconf/rp/FrederiksenM1310.1007/978-3-642-41036-9_12https://doi.org/10.1007/978-3-642-41036-9_12https://dblp.org/rec/conf/rp/FrederiksenM13URL#4218368Shankara Narayanan KrishnaLakshmi ManasaAshish ChiplunkarNash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.ICDCIT117-1282012Conference and Workshop Papersclosedconf/icdcit/KrishnaMC1210.1007/978-3-642-28073-3_11https://doi.org/10.1007/978-3-642-28073-3_11https://dblp.org/rec/conf/icdcit/KrishnaMC12URL#4428239Krishnendu ChatterjeeLuca de AlfaroThomas A. HenzingerStrategy Improvement for Concurrent Reachability and Safety GamesCoRRabs/1201.28342012Informal and Other Publicationsopenjournals/corr/abs-1201-2834http://arxiv.org/abs/1201.2834https://dblp.org/rec/journals/corr/abs-1201-2834URL#4516221Kristoffer Arnsfelt HansenMichal Koucký 0001Peter Bro MiltersenWinning Concurrent Reachability Games Requires Doubly-Exponential Patience.LICS332-3412009Conference and Workshop Papersclosedconf/lics/HansenKM0910.1109/LICS.2009.44https://doi.org/10.1109/LICS.2009.44https://dblp.org/rec/conf/lics/HansenKM09URL#5181321Krishnendu ChatterjeeLuca de AlfaroThomas A. HenzingerTermination criteria for solving concurrent safety and reachability games.SODA197-2062009Conference and Workshop Papersopenconf/soda/ChatterjeeAH0910.1137/1.9781611973068.23https://doi.org/10.1137/1.9781611973068.23https://dblp.org/rec/conf/soda/ChatterjeeAH09URL#5204082Krishnendu ChatterjeeLuca de AlfaroThomas A. HenzingerTermination Criteria for Solving Concurrent Safety and Reachability GamesCoRRabs/0809.40172008Informal and Other Publicationsopenjournals/corr/abs-0809-4017http://arxiv.org/abs/0809.4017https://dblp.org/rec/journals/corr/abs-0809-4017URL#5435430Luca de AlfaroThomas A. HenzingerOrna KupfermanConcurrent reachability games.Theor. Comput. Sci.3863188-2172007Journal Articlesopenjournals/tcs/AlfaroHK0710.1016/J.TCS.2007.07.008https://doi.org/10.1016/j.tcs.2007.07.008https://dblp.org/rec/journals/tcs/AlfaroHK07URL#5499754Krishnendu ChatterjeeLuca de AlfaroThomas A. HenzingerStrategy Improvement for Concurrent Reachability Games.QEST291-3002006Conference and Workshop Papersclosedconf/qest/ChatterjeeAH0610.1109/QEST.2006.48https://doi.org/10.1109/QEST.2006.48https://dblp.org/rec/conf/qest/ChatterjeeAH06URL#5779456Luca de AlfaroThomas A. HenzingerOrna KupfermanConcurrent Reachability Games.FOCS564-5751998Conference and Workshop Papersclosedconf/focs/AlfaroHK9810.1109/SFCS.1998.743507https://doi.org/10.1109/SFCS.1998.743507https://dblp.org/rec/conf/focs/AlfaroHK98URL#6591046