{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:03:53Z","timestamp":1762272233926,"version":"build-2065373602"},"reference-count":53,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1138996"],"award-info":[{"award-number":["1138996"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"AFRL","doi-asserted-by":"publisher","award":["FA8650-15-C-2546"],"award-info":[{"award-number":["FA8650-15-C-2546"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"AFRL","doi-asserted-by":"publisher","award":["8650-16-C-2610"],"award-info":[{"award-number":["8650-16-C-2610"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"publisher","award":["W911NF-16-1-0001"],"award-info":[{"award-number":["W911NF-16-1-0001"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1016\/j.ic.2018.02.021","type":"journal-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T14:27:49Z","timestamp":1519914469000},"page":"616-633","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"special_numbering":"P4","title":["Compositional and symbolic synthesis of reactive controllers for multi-agent systems"],"prefix":"10.1016","volume":"261","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Salar","family":"Moarref","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3\u20134","key":"10.1016\/j.ic.2018.02.021_br0010","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/s004539910025","article-title":"A general framework for assembly planning: the motion space approach","volume":"26","author":"Halperin","year":"2000","journal-title":"Algorithmica"},{"key":"10.1016\/j.ic.2018.02.021_br0020","series-title":"IEEE International Conference on Robotics and Automation (ICRA)","first-page":"350","article-title":"Behavior-based evacuation planning","author":"Rodriguez","year":"2010"},{"key":"10.1016\/j.ic.2018.02.021_br0030","series-title":"8th International Conference on Advanced Robotics (ICAR)","first-page":"193","article-title":"Cooperative search and rescue with a team of mobile robots","author":"Jennings","year":"1997"},{"issue":"3","key":"10.1016\/j.ic.2018.02.021_br0040","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1008937911390","article-title":"A probabilistic approach to collaborative multi-robot localization","volume":"8","author":"Fox","year":"2000","journal-title":"Auton. Robots"},{"key":"10.1016\/j.ic.2018.02.021_br0050","series-title":"Proceedings of 1995 IEEE\/RSJ International Conference on Intelligent Robots and Systems, vol. 1","first-page":"235","article-title":"Moving furniture with teams of autonomous robots","author":"Rus","year":"1995"},{"issue":"6","key":"10.1016\/j.ic.2018.02.021_br0060","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1109\/70.736776","article-title":"Behavior-based formation control for multirobot teams","volume":"14","author":"Balch","year":"1998","journal-title":"IEEE Trans. Robot. Autom."},{"key":"10.1016\/j.ic.2018.02.021_br0070","series-title":"Proceedings of the 16th ACM Symposium on Principles of Programming Languages","first-page":"179","article-title":"On the synthesis of a reactive module","author":"Pnueli","year":"1989"},{"key":"10.1016\/j.ic.2018.02.021_br0080","series-title":"Proceedings of 31st Annual Symposium on Foundations of Computer Science","first-page":"746","article-title":"Distributed reactive systems are hard to synthesize","author":"Pnueli","year":"1990"},{"issue":"7","key":"10.1016\/j.ic.2018.02.021_br0090","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1016\/S0898-1221(00)00333-3","article-title":"Lower bounds for multiplayer noncooperative games of incomplete information","volume":"41","author":"Peterson","year":"2001","journal-title":"Comput. Math. Appl."},{"issue":"3","key":"10.1016\/j.ic.2018.02.021_br0100","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","article-title":"Synthesis of reactive (1) designs","volume":"78","author":"Bloem","year":"2012","journal-title":"J. Comput. Syst. Sci."},{"issue":"6","key":"10.1016\/j.ic.2018.02.021_br0110","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"Kress-Gazit","year":"2009","journal-title":"IEEE Trans. Robot."},{"key":"10.1016\/j.ic.2018.02.021_br0120","series-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","first-page":"1525","article-title":"Automated composition of motion primitives for multi-robot systems from safe LTL specifications","author":"Saha","year":"2014"},{"key":"10.1016\/j.ic.2018.02.021_br0130","series-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","first-page":"3126","article-title":"Synthesis of feedback controllers for multiple aerial robots with geometric constraints","author":"Ayanian","year":"2011"},{"issue":"12","key":"10.1016\/j.ic.2018.02.021_br0140","doi-asserted-by":"crossref","first-page":"2105","DOI":"10.1016\/j.automatica.2006.07.008","article-title":"Decentralized receding horizon control for large scale dynamically decoupled systems","volume":"42","author":"Keviczky","year":"2006","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.ic.2018.02.021_br0150","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1016\/j.automatica.2005.12.008","article-title":"Distributed receding horizon control for multi-vehicle formation stabilization","volume":"42","author":"Dunbar","year":"2006","journal-title":"Automatica"},{"key":"10.1016\/j.ic.2018.02.021_br0160","series-title":"Swarm Intelligence","first-page":"87","article-title":"Swarm robotics","author":"\u015eahin","year":"2008"},{"key":"10.1016\/j.ic.2018.02.021_br0170","series-title":"Advances in Swarm Intelligence","first-page":"564","article-title":"A survey of swarm robotics system","author":"Shi","year":"2012"},{"issue":"3","key":"10.1016\/j.ic.2018.02.021_br0180","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10703-011-0115-3","article-title":"Antichains and compositional algorithms for LTL synthesis","volume":"39","author":"Filiot","year":"2011","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.ic.2018.02.021_br0190","series-title":"Proceedings of the International Congress of Mathematicians","first-page":"23","article-title":"Logic, arithmetic and automata","author":"Church","year":"1962"},{"key":"10.1016\/j.ic.2018.02.021_br0200","series-title":"29th Annual Symposium on Foundations of Computer Science","first-page":"319","article-title":"On the complexity of \u03c9-automata","author":"Safra","year":"1988"},{"year":"1992","series-title":"Modular Synthesis of Reactive Systems","author":"Rosner","key":"10.1016\/j.ic.2018.02.021_br0210"},{"issue":"1","key":"10.1016\/j.ic.2018.02.021_br0220","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/963927.963928","article-title":"Deterministic generators and games for Ltl fragments","volume":"5","author":"Alur","year":"2004","journal-title":"ACM Trans. Comput. Log."},{"issue":"18","key":"10.1016\/j.ic.2018.02.021_br0230","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S1474-6670(17)42032-5","article-title":"Controller synthesis for timed automata","volume":"31","author":"Asarin","year":"1998","journal-title":"IFAC Proc. Vol."},{"key":"10.1016\/j.ic.2018.02.021_br0240","series-title":"46th Annual IEEE Symposium on Foundations of Computer Science (FOCS)","first-page":"531","article-title":"Safraless decision procedures","author":"Kupferman","year":"2005"},{"key":"10.1016\/j.ic.2018.02.021_br0250","series-title":"Computer Aided Verification (CAV)","first-page":"31","article-title":"Safraless compositional synthesis","author":"Kupferman","year":"2006"},{"key":"10.1016\/j.ic.2018.02.021_br0260","series-title":"Concurrency Theory (CONCUR)","first-page":"512","article-title":"A compositional framework for controller synthesis","author":"Baier","year":"2011"},{"key":"10.1016\/j.ic.2018.02.021_br0270","series-title":"Formal Methods in Computer-Aided Design","first-page":"77","article-title":"Safety first: a two-stage algorithm for LTL games","author":"Sohail","year":"2009"},{"key":"10.1016\/j.ic.2018.02.021_br0280","series-title":"Tools and Algorithms for the Construction and Analysis of Systems","first-page":"501","article-title":"Pattern-based refinement of assume-guarantee specifications in reactive synthesis","author":"Alur","year":"2015"},{"issue":"5\u20136","key":"10.1016\/j.ic.2018.02.021_br0290","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1007\/s10009-012-0236-z","article-title":"Synthesis from component libraries","volume":"15","author":"Lustig","year":"2013","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.ic.2018.02.021_br0300","series-title":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","first-page":"215","article-title":"Compositional synthesis with parametric reactive controllers","author":"Alur","year":"2016"},{"issue":"2","key":"10.1016\/j.ic.2018.02.021_br0310","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/0022-0000(84)90034-5","article-title":"The complexity of two-player games of incomplete information","volume":"29","author":"Reif","year":"1984","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.ic.2018.02.021_br0320","series-title":"Foundations of Software Technology and Theoretical Computer Science (FSTTCS)","first-page":"1","article-title":"Semiperfect-information games","author":"Chatterjee","year":"2005"},{"key":"10.1016\/j.ic.2018.02.021_br0330","series-title":"Hybrid Systems: Computation and Control","first-page":"153","article-title":"A lattice theory for solving games of imperfect information","author":"De Wulf","year":"2006"},{"key":"10.1016\/j.ic.2018.02.021_br0340","series-title":"Computer Science Logic","first-page":"287","article-title":"Algorithms for omega-regular games with imperfect information","author":"Chatterjee","year":"2006"},{"issue":"11","key":"10.1016\/j.ic.2018.02.021_br0350","doi-asserted-by":"crossref","first-page":"2817","DOI":"10.1109\/TAC.2012.2195811","article-title":"Receding horizon temporal logic planning","volume":"57","author":"Wongpiromsarn","year":"2012","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"10.1016\/j.ic.2018.02.021_br0360","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MRA.2011.942116","article-title":"Correct, reactive, high-level robot control","volume":"18","author":"Kress-Gazit","year":"2011","journal-title":"IEEE Robot. Autom. Mag."},{"key":"10.1016\/j.ic.2018.02.021_br0370","series-title":"IEEE International Conference on Robotics and Automation","first-page":"5011","article-title":"Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications","author":"Wongpiromsarn","year":"2013"},{"issue":"1","key":"10.1016\/j.ic.2018.02.021_br0380","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","article-title":"Automatic deployment of distributed teams of robots from temporal logic motion specifications","volume":"26","author":"Kloetzer","year":"2010","journal-title":"IEEE Trans. Robot."},{"key":"10.1016\/j.ic.2018.02.021_br0390","series-title":"50th IEEE Conference on Decision and Control and European Control Conference","first-page":"4841","article-title":"Distributed power allocation for vehicle management systems","author":"Ozay","year":"2011"},{"year":"2009","series-title":"Verification and Control of Hybrid Systems: a Symbolic Approach","author":"Tabuada","key":"10.1016\/j.ic.2018.02.021_br0400"},{"key":"10.1016\/j.ic.2018.02.021_br0410","series-title":"Logics of Programs","first-page":"256","article-title":"Distributed processes and the logic of knowledge","author":"Parikh","year":"1985"},{"year":"2004","series-title":"Reasoning About Knowledge","author":"Fagin","key":"10.1016\/j.ic.2018.02.021_br0420"},{"year":"2009","series-title":"Artificial Intelligence: A Modern Approach","author":"Russell","key":"10.1016\/j.ic.2018.02.021_br0430"},{"year":"2006","series-title":"Planning Algorithms","author":"LaValle","key":"10.1016\/j.ic.2018.02.021_br0440"},{"key":"10.1016\/j.ic.2018.02.021_br0450","series-title":"Computer Aided Verification","first-page":"251","article-title":"Compositional synthesis of reactive controllers for multi-agent systems","author":"Alur","year":"2016"},{"year":"1999","series-title":"Model Checking","author":"Clarke","key":"10.1016\/j.ic.2018.02.021_br0460"},{"key":"10.1016\/j.ic.2018.02.021_br0470","series-title":"Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing","first-page":"60","article-title":"Trees, automata, and games","author":"Gurevich","year":"1982"},{"key":"10.1016\/j.ic.2018.02.021_br0480","series-title":"Automated Technology for Verification and Analysis","first-page":"474","article-title":"Bounded synthesis","author":"Schewe","year":"2007"},{"issue":"2","key":"10.1016\/j.ic.2018.02.021_br0490","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/s10703-011-0137-x","article-title":"Symbolic bounded synthesis","volume":"40","author":"Ehlers","year":"2012","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.ic.2018.02.021_br0500","series-title":"STACS 95","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","author":"Maler","year":"1995"},{"issue":"1","key":"10.1016\/j.ic.2018.02.021_br0510","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s10703-006-4341-z","article-title":"An algorithm for strongly connected component analysis in n log n symbolic steps","volume":"28","author":"Bloem","year":"2006","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.ic.2018.02.021_br0520","series-title":"Proceedings of the 1993 IEEE\/ACM International Conference on Computer-Aided Design","first-page":"42","article-title":"Dynamic variable ordering for ordered binary decision diagrams","author":"Rudell","year":"1993"},{"year":"2016","series-title":"Compositional Reactive Synthesis for Multi-Agent Systems","author":"Moarref","key":"10.1016\/j.ic.2018.02.021_br0530"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540118300245?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540118300245?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T13:14:00Z","timestamp":1760188440000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0890540118300245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":53,"alternative-id":["S0890540118300245"],"URL":"https:\/\/doi.org\/10.1016\/j.ic.2018.02.021","relation":{},"ISSN":["0890-5401"],"issn-type":[{"type":"print","value":"0890-5401"}],"subject":[],"published":{"date-parts":[[2018,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Compositional and symbolic synthesis of reactive controllers for multi-agent systems","name":"articletitle","label":"Article Title"},{"value":"Information and Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ic.2018.02.021","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2018 Elsevier Inc.","name":"copyright","label":"Copyright"}]}}