{"entities":{"Q6488464":{"pageid":14067233,"ns":120,"title":"Item:Q6488464","lastrevid":99604667,"modified":"2026-06-05T20:21:41Z","type":"item","id":"Q6488464","labels":{"en":{"language":"en","value":"Efficient Algorithms for Omega-Regular Energy Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676981"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$7D8EC127-A882-4856-8DFF-5CC3214BD7BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6946c664221201339426c89f71f12ffe6372b478","datavalue":{"value":{"text":"Efficient Algorithms for Omega-Regular Energy Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488464$C8BADE8A-BDE5-4C25-A945-69FE1A3D5CE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0db63ea252499ab035d5d75eebb7a37229b9f43d","datavalue":{"value":"1522.91065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488464$3B284AAD-97EF-4822-9D1E-355A24FF2A7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16d8650b0d0c60a9723cd8c8f08524083bbfab18","datavalue":{"value":"10.1007/978-3-030-90870-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488464$6F4A1EA3-D605-45AB-8F31-3E7DE7E0B465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4f79e7b6085c4911ad5c7b8d0174d2e3814565","datavalue":{"value":{"entity-type":"item","numeric-id":832234,"id":"Q832234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$0F3BF88A-589C-4CD8-8A0B-AB0E433FEF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb097d151a143491d9ee97fc8f8ee6819309ce76","datavalue":{"value":{"entity-type":"item","numeric-id":1854486,"id":"Q1854486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$3329888D-ABFA-466D-8A63-AB4997DE9A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d499c4bdad856d0e550a57077a6e71c025042b8c","datavalue":{"value":{"entity-type":"item","numeric-id":1982645,"id":"Q1982645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$A8142FD2-23D0-4122-867A-9D8D74795306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60086126974b82a9fd2d7378f8371308902734b6","datavalue":{"value":{"entity-type":"item","numeric-id":2164234,"id":"Q2164234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$04FEB66B-8F09-4319-AC33-2E917AE54D5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488464$21880EAC-5134-4C9D-A08F-563349AF0F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"54aeb167f340633281a9d7b3b52ca287ce6b8d74","datavalue":{"value":"91A68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488464$B3BC4649-8D88-4211-845D-222C8A137784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488464$E857BF3F-5652-4362-A762-783B351C1562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488464$6E0C99B9-3BCD-454D-80BC-00E6D8BFA3EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d26d9a4368898a4ebb305dc15dc1911e52f1d17a","datavalue":{"value":"7676981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488464$048913EF-3016-424F-8C45-896CC9DE860E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$11E27FFC-73A4-4AD3-B613-AC75566C6418","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$EF6A1FDC-8268-4EE7-8BE9-CF9C01C2BA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$4D485681-A6FA-4ACA-92DB-843E5B1D74DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22fdd226603565c4037f9eedf3fafc8fd55bdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1887716,"id":"Q1887716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$ADFADF7C-3855-4114-AF2F-24905D1C8E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$BCDBEFF0-46C9-4535-A531-DFE138F392A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$5CA8A273-1798-4C04-94DB-8A6E3386B138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$81D36970-2387-4083-B3C0-4EA36FFA53A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3db1dd52dc332c8fc81203ad454033a2151c49","datavalue":{"value":{"entity-type":"item","numeric-id":537946,"id":"Q537946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$F2B35DF2-F3C2-47BD-A927-31C229E495FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fca1acefb6ba720094148c13794011a516402df","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$44612943-BB15-437B-8F20-1B806913E785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$3EEF7E5C-3CA3-4D00-89E8-636176DA825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$11D736D0-0D8B-4E28-8B3D-9A7274D3040F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee14dc25df7d2ebfa9ebaadcded95d96043c7915","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$652A79E3-4870-420D-BEFE-EA9017456B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6ea6c9a77f520afb04e0fcbf799ffc9143f4","datavalue":{"value":{"entity-type":"item","numeric-id":1758152,"id":"Q1758152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$C4FEFC53-FDC6-43EB-87D1-4BDB69ED9362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"badd3a4ef245dabe0afbf46424f25d22502ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":2303873,"id":"Q2303873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$A1573714-BB55-4FA6-98C5-E61B9031C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5277c9fd9b9d53af68cbc49f4685c9f7c49a0fac","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$3962C26B-66E6-4B30-9D06-1493136C2947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$04D0D0E5-89B5-43B9-A20A-7C9BFEBE329C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b378602d866701dabdb7cf5317c937b47e2621","datavalue":{"value":{"entity-type":"item","numeric-id":5711492,"id":"Q5711492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$7E6924CB-DCE4-4F0A-911B-84DDE72BBBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc4a6ae5cd2ba79a9e8b7bf45f2bff911aa80e1","datavalue":{"value":{"entity-type":"item","numeric-id":2643076,"id":"Q2643076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$F0E6574B-79D4-49C9-A95B-2D0F6B11ED05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e30e49b25e27ce41c05a912022c267c76a5abe","datavalue":{"value":{"entity-type":"item","numeric-id":1400289,"id":"Q1400289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$A00AE131-486A-4501-9768-3F1DCCA2E5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$A31FA785-1701-4A47-BFC0-B9D542D1255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$F52A310B-33B7-4553-A1AA-8C39BC821A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72602412fc4843dc076fcdd0c6befe70a32a36eb","datavalue":{"value":{"entity-type":"item","numeric-id":2272917,"id":"Q2272917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$9EEF0327-C3DD-44B3-9F7C-83E38906E7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$432CED8D-CA36-4AAB-86FF-63A9B234C863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$B8BA6F9A-15F4-480A-BE51-3BE203F6279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488464$8B0F260E-745B-4D43-97FD-0C1B100C7B11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67368118ed71f85f525d13667b46a36ce62e3da","datavalue":{"value":{"entity-type":"item","numeric-id":5091276,"id":"Q5091276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4756a8194a492ae13955b02d375e76962e54f5e0","datavalue":{"value":{"amount":"+0.89739406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$1D15D660-A04B-44D9-A6B1-A544E1589977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83bd592de75caf20f77a4cfe9ae4027746cca211","datavalue":{"value":{"entity-type":"item","numeric-id":3613344,"id":"Q3613344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd52928c16bd45d22ee200a779ead813b76c4f2","datavalue":{"value":{"amount":"+0.8886862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$66D1A0CD-6260-4D63-9BC8-E9569D5FB433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c916e88f53c1c71b97fe39c148d87384e99ead6a","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd52928c16bd45d22ee200a779ead813b76c4f2","datavalue":{"value":{"amount":"+0.8886862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$08138E16-AB58-43AD-8C10-00CE172B173C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd79117da4bcbaf87b6a3284052fd8295db7ddd2","datavalue":{"value":{"entity-type":"item","numeric-id":3449481,"id":"Q3449481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2891bf8873cfc8cd0322e5e5314d2b2d2ac09def","datavalue":{"value":{"amount":"+0.8731611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$3B8D542C-DAEA-4DFD-AAF9-B0E1B933CB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b22ced781a364c4e76b1089bdd220f9dc331e3","datavalue":{"value":{"entity-type":"item","numeric-id":3105747,"id":"Q3105747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4627665a23bd931c8418d1957e1c0340ea9df014","datavalue":{"value":{"amount":"+0.86664015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$5B16B1D5-F245-4062-B37C-091AF1313F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb7fda8e45e44990958faf24ee02ba4c4fd85c4","datavalue":{"value":{"entity-type":"item","numeric-id":2842640,"id":"Q2842640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695d5fd6e99983029e17427f1ee8c3682d99df28","datavalue":{"value":{"amount":"+0.8651214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$4599AFD2-D7E9-407C-A68B-C8D203305441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63ab1ea35db9f94008c912d7dc9d0761a32b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":1887716,"id":"Q1887716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4702b1324db03ab361aabfa0dfdf4ea47725e2","datavalue":{"value":{"amount":"+0.8545546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$4C54244C-D78A-4515-8D5B-F2A8777C0E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6e95e7134b2df4a00d9797cfa59b0d6542d65c","datavalue":{"value":{"entity-type":"item","numeric-id":2986981,"id":"Q2986981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f62e74a805b982770733fda34255359ed575954","datavalue":{"value":{"amount":"+0.8477585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6488464$5749A035-0ABB-48B6-A4C7-397182F7E155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Algorithms for Omega-Regular Energy Games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Algorithms_for_Omega-Regular_Energy_Games"}}}}}