CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '912dd6886bf13dd1',cH: 'z1nOtoShcviUUerkBr3IiRmG9EK_wx.2D5BfRrNMmBQ-1739712057-1.2.1.1-CXNZjsYPH_pdss_K9U0M4YR4p.zYYOvw4oW0Sxmj_CpSb4sUJYEUkTOOdbhAu_QG',cUPMDTk: "\/abstracts\/23287\/on-the-analysis-of-strategies-of-buechi-games?__cf_chl_tk=tvB7dmvODkF0C8D219n8n8EmUDOYIGZ5TvoR9EpTr3k-1739712057-1.0.1.1-a4RTgslHa0JmYsnDxzwlYldyLCf9QNtO2CO97qLp4Cc",cFPWv: 'b',cITimeS: '1739712057',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/23287\/on-the-analysis-of-strategies-of-buechi-games?__cf_chl_f_tk=tvB7dmvODkF0C8D219n8n8EmUDOYIGZ5TvoR9EpTr3k-1739712057-1.0.1.1-a4RTgslHa0JmYsnDxzwlYldyLCf9QNtO2CO97qLp4Cc",md: "SloN9FwuVmp3F5dg00et3DqdM5pxygcLFuLnNb3ljLQ-1739712057-1.2.1.1-DviQlQ3qtbFV2LnPkuTzcFiCx9KaPI9NIYfVVpyZ0EBcCsoUl7UG9P9jc6gW9A23o4aoXvbT1bjGwP6UXa0cMs696H2kuT9Mv2SyvYcSMZvx0aaSEmRu0v.4o6R6li_jHxSOZcj09454u3ujsx8SMNJTGXso2R6U7iYEw4hI7_Rw6ZI4lZ.BTj3YNr1ZmbPmngHEbLxR.CniRL4xv9kpGA3BOPGBPDk4kVKsWKKMuupU6uoHddRnIIFIkprGLUE.jCWq4S24TKF7iIUkkuCVAE7UirpW3rnJGX51p6B8Cw6bcrcj0NdfqNufym0I0z1gRoHRrRVWVghiBGa3iIGPdeGxzI76v.OitXnqHvdAAv16S8kyoqJFKqb3NxdjKsUW1O6jxgKfaLu.rdtFfk0phfDIlAlPRFzF0lbd0.sOFeuluOHgzdmNqw4jJXm3ggJt8Ki6UHd4_GcT2z3KTFen7V2xb9kQIBpwrx5dh8T2Ytr1ThSFtVuyoKy8coOY3EKzyHxQFbOKm.SvB7Yxu9GmIyODZ54AuLUc6JIFRcrJ6CJ9Ax6yaUEOSi0ko0LvefrhLwyfaFxfDBGyCgmx31aBJa..iUKtp_3KCWc3zEhsdYAohndGvFAElAkliXJqJC3aUIz8DEEdxqevIcFrTz1BR_Xydx0ro4ybatsT46ALf5k4qgIvOCCwmtFwEEIwUPY8.ABwMSE_8cnjc6HBhWFSql7SZUcopo2bgk7j6cqYB8qWXP_jhuO9dbcekiHLYB6XGB2TnNC2g3UU78qxibNlpfELrnadXKGM7PDCGdkC0TqgtChVHtk_neqDJqVDRRQpkQWxewyox5Jn43yvkdHCCReTpGQKw_TsZe3b5De2WXCwR6Aii0ElPJfRmF66ECiXQ3zq7bp7fFpO8I6pix5UeMtbuXfeuNkGxNvnmOci5gbyr3GoYi10CjkP4LUZfCvYduqMpVHLoRkFTsDRZV3A.Pyjk60YKheNOgikid7_UGz8pbglq9_kaQ6QRgipBLogNIcdOZLIsQnOJL5HaAqpF13KfBGut3ZWNf0VwYhhbUduSGEUyrXlnRCTdBLfEzHpGmBlJiFoyWQ4EsI6Xlneofn1CYYByceVLnzN3K8nDbfDW2gTJPEsLicatvMEgGZY4Y6bOXN2B.cAZ112NSW_xzydwCh9HmkPUikPHKpqERmS_1s_wmNVnMXMurno8kN_ZPdPBArgNRZQ2XcON30fZPqBMj.Lx8aie4TZa4eQ6PkNn5CsanYJw0iRSSDyyfRycYx1cUOi4Qra7Y4Akr1zdyDUoSA7Z5fHaO3NNz17y3Y2U.d1UrXevT0hlAsFoGQDnzPgOpDZo0X5u3IAaWduUdEegPHrj0NXjbNkgYOJ320nYNuc8XMXYyr8AQ8CPGM72FJpWgXtczXzHswbxdxju3f7GDRLHBjUmdA_M33pf_WTDm5paRKqS1otvtGOfj_OAcMLD2Upj1c2_3MDFkPj6qPK2C.nUxkfXNL1sxkQ.GDpD97Jo5qcfoXgX1n8diIoNRZjMyw7yg4BXOCt43feygEHaXvmlnddSdplLSr4XIBUV7uFPCp8GEsLqvwZBSHIgIPV.rQ3yc8rZe_arq2EzHKSC47vMIZhqLi_5junEZ_QKKvw_x0MRZ.VziQ_q_JjB3lqAVhC.SGziNgxFR3F0O9tQkeoAB8zVhxGaPi83AyVJzlZHlUUV1l9PE1QmEUiNrMZcnnJh9l2XIsLJ7jQC4qigkDJK6E7DQqnFRkjY60U49ZA_xZzsKxQVvjLF6pZi16iclcwxP9g5.ZB_YJOZiELD6TeZmK4kV9eV69GlFiHebwV2Ry2KOqr7KXLQY1.yjvv5C9_6vOlvCf0Xugfgs5Fs4q63mEKbK5ZZEAsE8Xe23g7L2cuj5PQfh3Q.RWkN7NAWi0j2hfBkHaamWqWFDOTMAEY2ePrFQnO9eUYe83FMIxICJQ1kgueE..u3KqkDAAW6fLfxDr63yW7_xbVvxsxcA2jwN8aJR3xkVVnf1U",mdrd: "2.qAxg4EGHSwrjunHVn2z33Sa5O4.F8z9.Z4ztzUMQM-1739712057-1.2.1.1-YFROmQjTG0YJBKJ_uBGy85eYJO38ZS_KaOeHrTg4zYlKi15wQiyDz.k9xQNokBFAbt9d_XG_buQZFTvpgZALdEI7vputsta7_RxScgKhHiHYwghVod3GEeYXJZPSInH3wDtk8W.i.QUiYKhuQG3e40fM5UHo2Yy5KdUXNNPYmHixqE1jG.p3PDn1G6BaEwZaBruFQe9lLclH1b1KD3ySvfGOTh2RH4jGBoX0jUoZbNqTiXN9RTgHw8kILqz4O8MKJaMJIaU_5_ANNR4ZTrW9IEjIPsj5Hr7Bie.ohS3T8fU1X30Fz5GtO0sRyUnuVXH8z0orhvFcOOVjNtHGRpUJuwQ0ChUa9HChm9234UXoUWysbXB593dBe5ZhCzdUqWStpGOOzyzd6UEXNplX_zu.V8h3HH31ioyf3efKSILPlLEnDuzAIXzI8uyiU.OQm_NKUs.91V8PFXn.w5ksv9hLeRewBzW5JAk_G2UpIe.4..6.xGMbEny5Qm116hqY.0ArTRF1Ya0So6yMb0UlHKITskLL7URop9FM2Sau5CnI4z9rEn1ThI03KIFNUpeNT1tREzfI2Lxio3pyYojkzpaXsYCAsuDzHNbWUPXlrSEBxmMI6amISHuY2ZOo2sIdl41Y85Bt7Tc91W6XCiswCiyHo1NhlRTPYJ_Pk9d1jljMH3WLlS0.wJ7CeyZMVomBNIUEcSxFnAlovMaiglM5OWOgyoFeAYrKKiSZJhgi9FuPbVRncam_VqKIotL8rXa_5nSrDJbvslh5wyuPR2RDhANJHIABj9a7aK2RnFQ9OmNj_EpX1nqt10XH9MLfrGLKbvLuiRq1dt2Iw5G6p3a9Pc6NiXNYxOKLQfvPC1zEgu262hRv2jdRSXSs6CEqhapta7e638HnZXb.Sgk3AvLw7CQf1GW90QwKTW2wWd.sIzTers8mfIuTHgBx9rh0kghB57Qz5IKA7h1KYxWVZMhrKh.jXZhv3XBImQ8dwPE2KWZ_.7eiGwWLSQzpiRyyqMQCkjFhiycd9UvaTUB_7m9lWe7t_95TFNdjskvSzsPKKvbruTJbM41QCq73X.O1ROpLDw9Nf48rwnPHMWo8qPaaGoPR21x0dndRAAQkA9z2unBZ1p5wk6MvfLABjV8Wc0MUzDnwmG11IcZI4fPmDDlDvRnw7nXtU1cC99Ec3acbGincCCcHjP.T0ls.IhKAGDlUgdlpw2rdd5AUYjU1BVk4fnhOme3ruiRe9Ugp37LTsqm09y2V12Hd609DgJEObNxqjeM7AAs5WC6FeNJqvV3A2PWX8bQgYAQ59sE90kdzRzfCeR5Oxfjl1w.YtQEkonjotQn56CaZQZAlk5EB0_jQijOxunrQYIu2oF_vqRLOYHZ.HxseO_tRj9SKG24rcIfJgII2OoAKxxFp9bs2A.LezCZBQom47Isn9.wm7FGpEGLwAo8S5_HujUlv8iCO.4abAy0WrvCUfbWm1eXOmltYAYGM4fqyQdFYuQbQBAcmhFeAnY90CJ6O29DK09V9mgRNY22faqPZrsu.4Pco5I4l4vaKwYpQXFxlXklsPwNa3guJKwm97o2Thgs_s63C8qU1lSUYLhsev2Oqca17sRktJOBUvz1LJFu3fEutEckeu7kr0zS4HZHUA7GtdmGwadmBVCoLHqi9byaIxJUCmZb0ohZRV1lNiv8OScUEXnazC9RSJ1g_xbn0SQ9xIs_pWdpTCKjWtrAJ8tPgYegAhmUTwiodViUzclvqc1JeUIKMAQ4QWoL3vQbxxs99X2bU6q8QKEAKq4d.WKpMgZTBI6L3K2vYyHQbJI12mf9S_ot1uEXFEUuD58.dFo1_qpm6X2Z5rdq5fzuxm_rTrW9SvpaJKYMUnty56MGn1TnlJhBSDrxWLVuGyvrl00Nnap6HxAJ3PZv8jWGAnABT4nmt1rwh.hl.FqyuoczjNgbFTh0kVfgNA0aFp7IxJxJYf_v988DF08EojCrAGaXQGAIcTGi8qX8Tog"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=912dd6886bf13dd1';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/23287\/on-the-analysis-of-strategies-of-buechi-games?__cf_chl_rt_tk=tvB7dmvODkF0C8D219n8n8EmUDOYIGZ5TvoR9EpTr3k-1739712057-1.0.1.1-a4RTgslHa0JmYsnDxzwlYldyLCf9QNtO2CO97qLp4Cc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>