{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:46Z","timestamp":1725664786718},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610427"},{"type":"electronic","value":"9783540498742"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61042-1_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:11:11Z","timestamp":1330290671000},"page":"207-224","source":"Crossref","is-referenced-by-count":10,"title":["Strategy construction in infinite games with Streett and Rabin chain winning conditions"],"prefix":"10.1007","author":[{"given":"Nils","family":"Buhrke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helmut","family":"Lescow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"V\u00f6ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"13_CR1","series-title":"volume 372 of LNCS","first-page":"1","volume-title":"Automata, Languages, and Programming","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In G. Ausiello et al., editor, Automata, Languages, and Programming, volume 372 of LNCS, pages 1\u201317, Berlin, Heidelberg, New York, 1989. Springer-Verlag."},{"key":"13_CR2","series-title":"volume 999 of LNCS","first-page":"1","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In P. Antsaklis et al., editor, Hybrid Systems II, volume 999 of LNCS, pages 1\u201320, Berlin, Heidelberg, New-York, 1995. Springer-Verlag."},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J. R. B\u00fcchi","year":"1969","unstructured":"J. R. B\u00fcchi and L. H. Landweber. Solving sequential conditions by finite-state strategies. Trans. Amer. Math. Soc., 138:295\u2013311, 1969.","journal-title":"Trans. Amer. Math. Soc."},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.2307\/2273681","volume":"48","author":"J. R. B\u00fcchi","year":"1983","unstructured":"J. R. B\u00fcchi. State strategies for games in F \u03c3\u03b4 \u2229 G \u03b4\u03c3 . J. Symb. Logic, 48:1171\u20131198, 1983.","journal-title":"J. Symb. Logic"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"E.A. Emerson and C.S. Jutla. Tree automata, mu-calculus and determinacy. In Proc. 32nd IEEE Symp. on the Foundations of Computing, pages 368\u2013377, 1991.","DOI":"10.1109\/SFCS.1991.185392"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. Harrington. Trees, automata, and games. In Proc 14th ACM Symp. on the Theory of computing, pages 60\u201365, San Fancisco, 1982.","DOI":"10.1145\/800070.802177"},{"key":"13_CR7","first-page":"245","volume":"28","author":"D. Gale","year":"1953","unstructured":"D. Gale and F. M. Stewart. Infinite games with perfect information. Annals of Mathematical Studies, 28:245\u2013266, 1953.","journal-title":"Annals of Mathematical Studies"},{"key":"13_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2217-1","volume-title":"Modeling and Control of Logical Discrete Event Systems","author":"R. Kumar","year":"1995","unstructured":"R. Kumar and V. K. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Norwell, MA, USA, 1995."},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"R. McNaughton. Infinite games played on finite graphs. Ann. Pure Appl Logic, 65:149\u2013184, 1993.","journal-title":"Ann. Pure Appl Logic"},{"key":"13_CR10","unstructured":"A.W. Mostowski. Games with forbidden positions. Technical Report Preprint No. 78, Uniwersytet Gda\u0144ski, Instytyt Matematyki, 1991."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(94)00214-4","volume":"141","author":"D.E. Muller","year":"1995","unstructured":"D.E. Muller and P.E. Schupp. Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra. Theoretical Computer Science, 141:69\u2013107, 1995.","journal-title":"Theoretical Computer Science"},{"key":"13_CR12","first-page":"220","volume":"48","author":"A. Muchnik","year":"1992","unstructured":"A. Muchnik. Games on infinite trees and automata with deadends: A new proof for the decidability of the monadic second order theory of two successors. Bulletin of the European Association for Theoretical Computer Science, 48:220\u2013267, 1992.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, and V. Yakhnis. Concurrent programs as strategies in games. In Moschovakis Y., editor, Logic from Computer Science. Springer, 1992.","DOI":"10.1007\/978-1-4612-2822-6_17"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the systhesis of a reactive module. In Proc. 16th ACM Sympos. on Principles of Prog. Lang., pages 179\u2013190, Austin, 1989.","DOI":"10.1145\/75277.75293"},{"key":"13_CR15","first-page":"1","volume":"141","author":"M. O. Rabin","year":"1969","unstructured":"M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, 141:1\u201335, 1969.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"13_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. G. Ramadge","year":"1989","unstructured":"P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77, 1:81\u201398, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"S. Safra. Exponential determinization for \u03a9-automata with strong-fairness acceptance condition. In Proc. 24th ACM Symposium on Theory of Computing (STOC), pages 275\u2013282, 1992.","DOI":"10.1145\/129712.129739"},{"key":"13_CR18","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91258-X","volume":"54","author":"R.S. Streett","year":"1982","unstructured":"R.S. Streett. Propositional dynamic logic of looping and converse. Information and Control, 54: 121\u2013141, 1982.","journal-title":"Information and Control"},{"key":"13_CR19","first-page":"131","volume-title":"Handbook of Theoretical Computer Science, volume B","author":"W. Thomas","year":"1990","unstructured":"W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 131\u2013191. North-Holland, Amsterdam, 1990."},{"key":"13_CR20","first-page":"1","volume-title":"STACS 95, volume 900 of LNCS","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In Ernst W. Mayr and Claude Puech, editors, STACS 95, volume 900 of LNCS, pages 1\u201313, Berlin, Heidelberg, New-York, 1995. Springer-Verlag."},{"issue":"4","key":"13_CR21","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.1137\/S0363012991217536","volume":"32","author":"J.G. Thistle","year":"1994","unstructured":"J.G. Thistle and W.M. Wonham. Control of infinite behaviour of finite automata. SIAM J. of Control and Optimization, 32(4):1075\u20131097, 1994.","journal-title":"SIAM J. of Control and Optimization"},{"key":"13_CR22","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0168-0072(93)90239-A","volume":"62","author":"A. Yakhnis","year":"1993","unstructured":"A. Yakhnis and V. Yakhnis. Gurevich \u2014 Harrington's games defined by finite automata. Ann. Pure Appl Logic, 62:265\u2013294, 1993.","journal-title":"Ann. Pure Appl Logic"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61042-1_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:33Z","timestamp":1605647013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}