{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:41Z","timestamp":1750308581650,"version":"3.41.0"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T00:00:00Z","timestamp":1506470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DAAD scholarship \u201dResearch Stays for University Academics and Scientists.\u201e"},{"name":"ERC Synergy Award \u201dImPACT\u201e"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2017,10,31]]},"abstract":"<jats:p>We present Antlab, an end-to-end system that takes streams of user task requests and executes them using collections of robots. In Antlab, each request is specified declaratively in linear temporal logic extended with quantifiers over robots. The user does not program robots individually, nor know how many robots are available at any time or the precise state of the robots. The Antlab runtime system manages the set of robots, schedules robots to perform tasks, automatically synthesizes robot motion plans from the task specification, and manages the co-ordinated execution of the plan.<\/jats:p>\n          <jats:p>We provide a constraint-based formulation for simultaneous task assignment and plan generation for multiple robots working together to satisfy a task specification. In order to scalably handle multiple concurrent tasks, we take a separation of concerns view to plan generation. First, we solve each planning problem in isolation, with an \u201cideal world\u201d hypothesis that says there are no unspecified dynamic obstacles or adversarial environment actions. Second, to deal with imprecisions of the real world, we implement the plans in receding horizon fashion on top of a standard robot navigation stack. The motion planner dynamically detects environment actions or dynamic obstacles from the environment or from other robots and locally corrects the ideal planned path. It triggers a re-planning step dynamically if the current path deviates from the planned path or if planner assumptions are violated.<\/jats:p>\n          <jats:p>We have implemented Antlab as a C++ and Python library on top of robots running on ROS, using SMT-based and AI planning-based implementations for task and path planning. We evaluated Antlab both in simulation as well as on a set of TurtleBot robots. We demonstrate that it can provide a scalable and robust infrastructure for declarative multi-robot programming.<\/jats:p>","DOI":"10.1145\/3126513","type":"journal-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:33:53Z","timestamp":1506515633000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Antlab"],"prefix":"10.1145","volume":"16","author":[{"given":"Ivan","family":"Gavran","sequence":"first","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indranil","family":"Saha","sequence":"additional","affiliation":[{"name":"IIT Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"R. Alur S. Moarref and U. Topcu. 2016. Compositional synthesis of reactive controllers for multi-agent systems. In CAV.  R. Alur S. Moarref and U. Topcu. 2016. Compositional synthesis of reactive controllers for multi-agent systems. In CAV.","DOI":"10.1145\/2883817.2883842"},{"volume-title":"latvala, and V. Schuppan","year":"2006","author":"Biere A.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1108\/IR-07-2016-0194"},{"key":"e_1_2_1_4_1","unstructured":"H. Choset K. M. Lynch S. Hutchinson G. A. Kantor W. Burgard L. E. Kavraki and S. Thrun. 2005. Principles of Robot Motion. A Bradford Book.  H. Choset K. M. Lynch S. Hutchinson G. A. Kantor W. Burgard L. E. Kavraki and S. Thrun. 2005. Principles of Robot Motion. A Bradford Book."},{"key":"e_1_2_1_5_1","unstructured":"D. Claes. collvoid package for ROS. https:\/\/github.com\/daenny\/collvoid.  D. Claes. collvoid package for ROS. https:\/\/github.com\/daenny\/collvoid."},{"volume-title":"https:\/\/github.com\/ros2\/ros2\/wiki","year":"2016","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","unstructured":"S. S. Craciunas A. Haas C. M. Kirsch H. Payer H. R\u00f6ck A. Rottmann A. Sokolova R. Trummer J. Love and R. Sengupta. 2010. Information-acquisition-as-a-service for cyber-physical cloud computing. In HotCloud.   S. S. Craciunas A. Haas C. M. Kirsch H. Payer H. R\u00f6ck A. Rottmann A. Sokolova R. Trummer J. Love and R. Sengupta. 2010. Information-acquisition-as-a-service for cyber-physical cloud computing. In HotCloud."},{"key":"e_1_2_1_8_1","unstructured":"J. A. DeCastro J. Alonso-Mora V. Raman D. Rus and H. Kress-Gazit. 2015. Collision-free reactive mission and motion planning for multi-robot systems. In ISRR.  J. A. DeCastro J. Alonso-Mora V. Raman D. Rus and H. Kress-Gazit. 2015. Collision-free reactive mission and motion planning for multi-robot systems. In ISRR."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"first-page":"178","volume-title":"EPTCS 54","author":"Ehlers R.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.30720"},{"key":"e_1_2_1_12_1","unstructured":"E. M. Eppstein. ROS navigation stack. http:\/\/wiki.ros.org\/navigation. Indigo version.  E. M. Eppstein. ROS navigation stack. http:\/\/wiki.ros.org\/navigation. Indigo version."},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"M. A. Erdmann and T. Lozano-P\u00e9rez. 1986. On multiple moving objects. In ICRA.  M. A. Erdmann and T. Lozano-P\u00e9rez. 1986. On multiple moving objects. In ICRA.","DOI":"10.21236\/ADA196213"},{"key":"e_1_2_1_14_1","unstructured":"R. Vaughan et al. Stage simulator. http:\/\/wiki.ros.org\/stage. Indigo version.  R. Vaughan et al. Stage simulator. http:\/\/wiki.ros.org\/stage. Indigo version."},{"first-page":"49","volume-title":"Towards Service Robots for Everyday Environments","author":"Eyerich P.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0115-3"},{"first-page":"1988","volume-title":"IROS","author":"Finucane C.","key":"e_1_2_1_18_1"},{"key":"e_1_2_1_19_1","unstructured":"B. Gerkey and V. Rabaud. Slam gmapping package. https:\/\/github.com\/ros-perception\/slam_gmapping. Indigo version.  B. Gerkey and V. Rabaud. Slam gmapping package. https:\/\/github.com\/ros-perception\/slam_gmapping. Indigo version."},{"volume-title":"PDDL: The planning domain definition language. Technical Report CVC TR98003\/DCS TR1165","year":"1998","author":"Ghallab M.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2008.4547508"},{"key":"e_1_2_1_22_1","unstructured":"Y. Guo and L.E. Parker. 2002. A distributed and optimal motion planning approach for multiple mobile robots. In ICRA.  Y. Guo and L.E. Parker. 2002. A distributed and optimal motion planning approach for multiple mobile robots. In ICRA."},{"first-page":"147","volume-title":"AAMAS","author":"Hennes D.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1144"},{"first-page":"113","volume-title":"ICRA","author":"Hung W. N. N.","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"first-page":"853","volume-title":"AAAI","author":"Lifschitz V.","key":"e_1_2_1_28_1"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670529.2754966"},{"first-page":"337","volume-title":"TACAS","author":"De Moura L.","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"S. Nedunuri S. Prabhu M. Moll S. Chaudhuri and L. E. Kavraki. 2014. SMT-based synthesis of integrated task and motion plans from plan outlines. In ICRA.  S. Nedunuri S. Prabhu M. Moll S. Chaudhuri and L. E. Kavraki. 2014. SMT-based synthesis of integrated task and motion plans from plan outlines. In ICRA.","DOI":"10.1109\/ICRA.2014.6906924"},{"volume-title":"ICRA Workshop on Open Source Software.","author":"Quigley M.","key":"e_1_2_1_32_1"},{"first-page":"4075","volume-title":"ICRA","author":"Raman V.","key":"e_1_2_1_33_1"},{"volume-title":"Artificial Intelligence: A Modern Approach. Pearson.","year":"2009","author":"Russell S.","key":"e_1_2_1_34_1"},{"first-page":"1525","volume-title":"IROS","author":"Saha I.","key":"e_1_2_1_35_1"},{"volume-title":"Implan: Scalable incremental motion planning for multi-robot systems. In ICCPS.","year":"2016","author":"Saha I.","key":"e_1_2_1_36_1"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-016-0338-z"},{"key":"e_1_2_1_38_1","doi-asserted-by":"crossref","unstructured":"M. Turpin K. Mohta N. Michael and V. Kumar. 2013. Goal assignment and trajectory planning for large teams of aerial robots. In RSS.  M. Turpin K. Mohta N. Michael and V. Kumar. 2013. Goal assignment and trajectory planning for large teams of aerial robots. In RSS.","DOI":"10.15607\/RSS.2013.IX.030"},{"key":"e_1_2_1_39_1","doi-asserted-by":"crossref","unstructured":"J. van den Berg and M. Overmars. 2005. Prioritized motion planning for multiple robots. In IROS.  J. van den Berg and M. Overmars. 2005. Prioritized motion planning for multiple robots. In IROS.","DOI":"10.1109\/IROS.2005.1545306"},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"M. \u010c\u00e1p P. Nov\u00e1k M. Seleck\u00fd J. Faigl and J. Vok\u0159\u00ednek. 2013. Asynchronous decentralized prioritized planning for coordination in multi-robot system. In IROS.  M. \u010c\u00e1p P. Nov\u00e1k M. Seleck\u00fd J. Faigl and J. Vok\u0159\u00ednek. 2013. Asynchronous decentralized prioritized planning for coordination in multi-robot system. In IROS.","DOI":"10.1109\/IROS.2013.6696903"},{"key":"e_1_2_1_41_1","doi-asserted-by":"crossref","unstructured":"P. Velagapudi K. Sycara and P. Scerri. 2010. Decentralized prioritized planning in large multirobot teams. In IROS.  P. Velagapudi K. Sycara and P. Scerri. 2010. Decentralized prioritized planning in large multirobot teams. In IROS.","DOI":"10.1109\/IROS.2010.5649438"},{"key":"e_1_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Y. Wang N. T. Dantam S. Chaudhuri and L. E. Kavraki. 2016. Task and motion policy synthesis as liveness games. In ICAPS page 536.   Y. Wang N. T. Dantam S. Chaudhuri and L. E. Kavraki. 2016. Task and motion policy synthesis as liveness games. In ICAPS page 536.","DOI":"10.1609\/icaps.v26i1.13792"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"volume-title":"http:\/\/www.mwpvl.com\/html\/kiva_systems.html","year":"2016","author":"Wulfraat M.","key":"e_1_2_1_44_1"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3126513","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3126513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:01Z","timestamp":1750273501000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3126513"}},"subtitle":["A Multi-Robot Task Server"],"short-title":[],"issued":{"date-parts":[[2017,9,27]]},"references-count":44,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2017,10,31]]}},"alternative-id":["10.1145\/3126513"],"URL":"https:\/\/doi.org\/10.1145\/3126513","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2017,9,27]]},"assertion":[{"value":"2017-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}