{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:16:31Z","timestamp":1767183391720,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642327223"},{"type":"electronic","value":"9783642327230"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-32723-0_23","type":"book-chapter","created":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T13:35:59Z","timestamp":1346852159000},"page":"313-327","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment"],"prefix":"10.1007","author":[{"given":"Yushan","family":"Chen","sequence":"first","affiliation":[]},{"given":"Xu Chu","family":"Ding","sequence":"additional","affiliation":[]},{"given":"Alin","family":"Stefanescu","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Antoniotti, M., Mishra, B.: Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In: IEEE International Conference on Robotics and Automation (1995)"},{"issue":"11","key":"23_CR2","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C. Belta","year":"2006","unstructured":"Belta, C., Habets, L.: Control of a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control\u00a051(11), 1749\u20131759 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Chen, Y., Birch, S., Stefanescu, A., Belta, C.: A hierarchical approach to automatic deployment of robotic teams with communication constraints. In: IEEE\/RSJ International Conference on Intelligent Robots & Systems, Taipei, Taiwan, pp. 5079\u20135084 (2010)","DOI":"10.1109\/IROS.2010.5650644"},{"key":"23_CR4","unstructured":"Chen, Y., Ding, X.C., Stefanescu, A., Belta, C.: A formal approach to deployment of robotic teams in an urban-like environment. Tech. rep., Boston University (2010), hyness.bu.edu\/dars"},{"key":"23_CR5","unstructured":"Choset, H., Lynch, K., Hutchinson, S., Kantor, G., Burgard, W., Kavraki, L., Thrun, S.: Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press (2005)"},{"key":"23_CR6","unstructured":"Clarke, E.M., Peled, D., Grumberg, O.: Model Checking. MIT Press (1999)"},{"key":"23_CR7","unstructured":"Cormen, T.: Introduction to Algorithms. MIT press (2001)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Fainekos, G., Kress-Gazit, H., Pappas, G.: Hybrid controllers for path planning: A temporal logic approach. In: IEEE Conference on Decision and Control and European Control Conference, Seville, Spain, pp. 4885\u20134890 (2005), doi:10.1109\/CDC.2005.1582935","DOI":"10.1109\/CDC.2005.1582935"},{"key":"23_CR9","unstructured":"Gazit, H.K., Fainekos, G., Pappas, G.J.: Where\u2019s Waldo? Sensor-based temporal logic motion planning. In: IEEE Conference on Robotics and Automation, Rome, Italy (2007)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1109\/TAC.2006.876952","volume":"51","author":"L. Habets","year":"2006","unstructured":"Habets, L., Collins, P., van Schuppen, J.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Aut. Control\u00a051, 938\u2013948 (2006)","journal-title":"IEEE Trans. Aut. Control"},{"key":"23_CR11","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley (2007)"},{"issue":"1","key":"23_CR12","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","volume":"26","author":"M. Kloetzer","year":"2010","unstructured":"Kloetzer, M., Belta, C.: Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Transactions on Robotics\u00a026(1), 48\u201361 (2010)","journal-title":"IEEE Transactions on Robotics"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Latombe, J.C.: Robot Motion Planning. Kluwer Academic Publishers (1991)","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"23_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning algorithms","author":"S.M. LaValle","year":"2006","unstructured":"LaValle, S.M.: Planning algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Loizou, S.G., Kyriakopoulos, K.J.: Automatic synthesis of multiagent motion tasks based on LTL specifications. In: IEEE Conference on Decision and Control, Paradise Islands, The Bahamas, pp. 153\u2013158 (2004)","DOI":"10.1109\/CDC.2004.1428622"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Introduction to trace theory. In: The Book of Traces, pp. 3\u201341. World Scientific (1995)","DOI":"10.1142\/9789814261456_0001"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Mukund, M.: From Global Specifications to Distributed Implementations, pp. 19\u201334. Kluwer Academic Publishers (2002)","DOI":"10.1007\/978-1-4757-6656-1_2"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Quottrup, M.M., Bak, T., Izadi-Zamanabadi, R.: Multi-robot motion planning: A timed automata approach. In: IEEE International Conference on Robotics and Automation, Barcelona, Spain, pp. 4417\u20134422 (2004)","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"23_CR19","unstructured":"Rodger, S.H., Finley, T.W.: JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers (2006)"},{"key":"23_CR20","volume-title":"Regular Languages","author":"Y. Sheng","year":"1997","unstructured":"Sheng, Y.: Regular Languages. Springer, New York (1997)"},{"key":"23_CR21","unstructured":"Stefanescu, A.: Automatic synthesis of distributed transition systems. Ph.D. thesis, University of Stuttgart (2006)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-45187-7_2","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. \u015etef\u0103nescu","year":"2003","unstructured":"\u015etef\u0103nescu, A., Esparza, J., Muscholl, A.: Synthesis of Distributed Algorithms Using Asynchronous Automata. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 27\u201341. Springer, Heidelberg (2003)"},{"key":"23_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/3-540-65306-6_24","volume-title":"Lectures on Petri Nets I: Basic Models","author":"P.S. Thiagarajan","year":"1998","unstructured":"Thiagarajan, P.S., Henriksen, J.G.: Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 643\u2013681. Springer, Heidelberg (1998)"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding horizon temporal logic planning for dynamical systems. In: IEEE Conference on Decision and Control and Chinese Control Conference, Shanghai, China, pp. 5997\u20136004 (2009)","DOI":"10.1109\/CDC.2009.5399536"}],"container-title":["Springer Tracts in Advanced Robotics","Distributed Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32723-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T22:22:11Z","timestamp":1744064531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-32723-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642327223","9783642327230"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32723-0_23","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2013]]}}}