{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:33:13Z","timestamp":1725492793092},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441441"},{"type":"electronic","value":"9783540457190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45719-4_2","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T14:55:00Z","timestamp":1191941700000},"page":"15-20","source":"Crossref","is-referenced-by-count":0,"title":["Automata and Games for Synthesis"],"prefix":"10.1007","author":[{"given":"Igor","family":"Walukiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"2_CR1","unstructured":"A. Arnold, A. Vincent, and I. Walukiewicz. Games for synthesis of controlers with partial observation. TCS, 2002. to appear."},{"key":"2_CR2","unstructured":"Andre\u00e9 Arnold and Damian Niwi\u00f1ski. The Rudiments of the Mu-Calculus, volume 146 of Studies in Logic. North-Holand, 2001."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"G. Barrett and S. Lafortune. A novel framework for decentralized supervisory control with communication. In IEEE SMC, 1998.","DOI":"10.1109\/ICSMC.1998.725481"},{"key":"2_CR4","first-page":"555","volume":"27","author":"A. Bergeron","year":"1993","unstructured":"A. Bergeron. A unified approach to control problems in discrete event processes. RAIRO-ITA, 27:555\u2013573, 1993.","journal-title":"RAIRO-ITA"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Julien Bernet and David Janin and Igor Walukiewicz. Permissive strategies: from parity games to safety games. RAIRO, 2002. to appear.","DOI":"10.1051\/ita:2002013"},{"key":"2_CR6","unstructured":"Julien Bernet, David Janin, and Igor Walukiewicz. Permissive strategies: From parity games to safety games. To appear in Theoretical Informatics and Applications (RAIRO)."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Christos G. Cassandras and St\u00e9phane Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46541-3_24","volume-title":"STACS","author":"M. Jurdzi\u0144ski","year":"2000","unstructured":"Marcin Jurdzi\u0144ski. Small progress measures for solving parity games. In STACS, volume 1770 of LNCS, pages 290\u2013301, 2000."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"R. Kumar and V. K. Garg. Modeling and control of logical discrete event systems. Kluwer Academic Pub., 1995.","DOI":"10.1007\/978-1-4615-2217-1"},{"key":"2_CR10","unstructured":"O. Kupferman and M. Vardi. Synthesis with incomplete information. In 2nd International Conference on Temporal Logic, pages 91\u2013106, 1997."},{"key":"2_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/3-540-44612-5_45","volume-title":"MFCS 2000","author":"O. Kupferman","year":"2000","unstructured":"O. Kupferman and M. Vardi. \u03ce-calculus synthesis. In MFCS 2000, pages 497\u2013507. LNCS 1893, 2000."},{"key":"2_CR12","unstructured":"O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In Proc. 16th IEEE Symp. on Logic in Computer Science, July 2001."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"H. Lamouchi and J. G. Thistle. Effective control synthesis for DES under partial observations. In Proc. 39th IEEE Conf. on Decision and Control, December 2000.","DOI":"10.1109\/CDC.2000.912726"},{"key":"2_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS\u201995","author":"O. Maler","year":"1995","unstructured":"O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. W. Mayr and C. Puech, editors, STACS\u201995, volume 900 of LNCS, pages 229\u2013242, 1995."},{"key":"2_CR15","series-title":"Lect Notes Comput Sci","first-page":"157","volume-title":"Regular expressions for infinite trees and a standard form of automata","author":"A. W. Mostowski","year":"1984","unstructured":"Andrzej W. Mostowski. Regular expressions for infinite trees and a standard form of automata. In A. Skowron, editor, Fifth Symposium on Computation Theory, volume 208 of LNCS, pages 157\u2013168, 1984."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In 31th IEEE Symposium Foundations of Computer Science (FOCS 1990), pages 746\u2013757, 1990.","DOI":"10.1109\/FSCS.1990.89597"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77, 1989.","DOI":"10.1109\/5.21072"},{"issue":"11","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"K. Rudie and W. Whonham. Think globally, act locally: Decentralized supervisory control. IEEE Trans. on Automat. Control, 37(11):1692\u20131708, 1992.","journal-title":"IEEE Trans. on Automat. Control"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3. Springer-Verlag, 1997.","DOI":"10.1007\/978-3-642-59126-6_7"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"S. Tripakis. Undecidable problems of decentralized observation and control. In IEEE Conference on Decision and Control, 2001.","DOI":"10.1109\/CDC.2001.980822"},{"key":"2_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/10722167_18","volume-title":"CAV","author":"J. V\u00f6ge","year":"2000","unstructured":"Jens V\u00f6ge and Marcin Jurdzi\u0144ski. A discrete strategy improvement algorithm for solving parity games (Extended abstract). In CAV, volume 1855 of Lecture Notes in Computer Science, pages 202\u2013215, 2000."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45719-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:09:19Z","timestamp":1556903359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45719-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441441","9783540457190"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45719-4_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}