{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T16:43:36Z","timestamp":1765039416186,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,5,19]],"date-time":"2018-05-19T00:00:00Z","timestamp":1526688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10796-018-9858-3","type":"journal-article","created":{"date-parts":[[2018,5,19]],"date-time":"2018-05-19T03:25:48Z","timestamp":1526700348000},"page":"87-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics"],"prefix":"10.1007","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8245-9429","authenticated-orcid":false,"given":"Francesco","family":"Leofante","sequence":"first","affiliation":[]},{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Niemueller","sequence":"additional","affiliation":[]},{"given":"Gerhard","family":"Lakemeyer","sequence":"additional","affiliation":[]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,19]]},"reference":[{"key":"9858_CR1","doi-asserted-by":"crossref","unstructured":"\u00c1brah\u00e1m, E, & Kremer, G. (2016). Satisfiability checking: theory and applications. In Proc. of SEFM\u201916 (pp. 9\u201323).","DOI":"10.1007\/978-3-319-41591-8_2"},{"issue":"1","key":"9858_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-013-0294-x","volume":"16","author":"S Bensalem","year":"2014","unstructured":"Bensalem, S., Havelund, K., Orlandini, A. (2014). Verification and validation meet planning and scheduling. STTT, 16(1), 1\u201312.","journal-title":"STTT"},{"issue":"2","key":"9858_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., & Gonthier, G. (1992). The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2), 87\u2013152.","journal-title":"Science of Computer Programming"},{"key":"9858_CR4","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y. (1999). Symbolic model checking without BDDs. In Proc. of TACAS\u201999 (pp. 193\u2013207).","DOI":"10.21236\/ADA360973"},{"key":"9858_CR5","unstructured":"Bj\u00f8rner, N., Phan, A., Fleckenstein, L. (2015). \u03bd z - An optimizing SMT solver. In Proc. of TACAS\u201915 (pp. 194\u2014199)."},{"key":"9858_CR6","doi-asserted-by":"crossref","unstructured":"Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B., Carrera, A., Palomeras, N., Hurto\u0307s, N, Carreras, M. (2015). Rosplan: Planning in the robot operating system. In Proc. of ICAPS\u201915 (pp. 333\u2013341).","DOI":"10.1609\/icaps.v25i1.13699"},{"key":"9858_CR7","doi-asserted-by":"crossref","unstructured":"Cashmore, M., Fox, M., Long, D., Magazzeni, D. (2016). A compilation of the full PDDL + language into SMT. In Proc. of ICAPS\u201916 (pp. 79\u201387).","DOI":"10.1609\/icaps.v26i1.13755"},{"key":"9858_CR8","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Franz\u0117n, A, Griggio, A., Sebastiani, R., Stenico, C. (2010). Satisfiability modulo the theory of costs: foundations and applications. In Proc. of TACAS\u201910 (pp. 99\u2013113).","DOI":"10.1007\/978-3-642-12002-2_8"},{"key":"9858_CR9","doi-asserted-by":"crossref","unstructured":"Coles, A., Coles, A.J., Clark, A., Gilmore, S. (2011). Cost-sensitive concurrent planning under duration uncertainty for service-level agreements. In Proc. of ICAPS\u201911 (pp. 34\u201341).","DOI":"10.1609\/icaps.v21i1.13444"},{"key":"9858_CR10","doi-asserted-by":"crossref","unstructured":"Corzilius, F., Kremer, G., Junges, S., Schupp, S., A\u0307braha\u0307m, E. (2015). SMT-RAT: An open source c+ + toolbox for strategic and parallel SMT solving. In Proc. of SAT\u201915 (pp. 360\u2013368).","DOI":"10.1007\/978-3-319-24318-4_26"},{"key":"9858_CR11","doi-asserted-by":"crossref","unstructured":"Dantam, N.T., Kingston, Z.K., Chaudhuri, S., Kavraki, L.E. (2016). Incremental task and motion planning: a constraint-based approach. In Proc. of RSS\u201916.","DOI":"10.15607\/RSS.2016.XII.002"},{"key":"9858_CR12","doi-asserted-by":"crossref","unstructured":"Dornhege, C., Eyerich, P., Keller, T., Tr\u00fcg, S, Brenner, M., Nebel, B. (2009). Semantic attachments for domain-independent planning systems. In Proc. of ICAPS\u201909 (pp. 114\u2013121).","DOI":"10.1609\/icaps.v19i1.13380"},{"issue":"1","key":"9858_CR13","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"CL Forgy","year":"1982","unstructured":"Forgy, C.L. (1982). Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence, 19(1), 17\u2013 37.","journal-title":"Artificial Intelligence"},{"key":"9858_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox, M., & Long, D. (2003). PDDL2.1: An extension to PDDL for expressing temporal planning domains. J Artif Intell Res (JAIR), 20, 61\u2013124.","journal-title":"J Artif Intell Res (JAIR)"},{"key":"9858_CR15","unstructured":"Fox, M., Long, D., Magazzeni, D. (2017). Explainable planning. arXiv: 1709.10256 ."},{"key":"9858_CR16","unstructured":"Giarratano, J.C. (2007). CLIPS Reference Manuals. http:\/\/clipsrules.sf.net\/OnlineDocs.html ."},{"key":"9858_CR17","doi-asserted-by":"crossref","unstructured":"Hofmann, T., Niemueller, T., Cla\u00dfen, J, Lakemeyer, G. (2016). Continual planning in Golog. In Proc. of AAAI\u201916 (pp. 3346\u20133353).","DOI":"10.1609\/aaai.v30i1.10414"},{"key":"9858_CR18","unstructured":"Ingham, M., Ragno, R., Williams, B. (2001). A reactive model-based programming language for robotic space explorers. In Proc. of i-SAIRAS\u201901."},{"key":"9858_CR19","doi-asserted-by":"crossref","unstructured":"Ingrand, F.F., Chatila, R., Alami, R., Robert, F. (1996). PRS: A high level supervision and control language for autonomous mobile robots. In Proc. of ICRA\u201996 (pp. 43\u201349).","DOI":"10.1109\/ROBOT.1996.503571"},{"key":"9858_CR20","doi-asserted-by":"crossref","unstructured":"Leofante, F. (2018). Guaranteed plans for multi-robot systems via Optimization Modulo Theories. In Proc. of AAAI\u201918.","DOI":"10.1609\/aaai.v32i1.11350"},{"key":"9858_CR21","doi-asserted-by":"crossref","unstructured":"Leofante, F., \u00c1brah\u00e1m, E, Niemueller, T., Lakemeyer, G., Tacchella, A. (2017). On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories. In Procof IRI\u201917 (pp. 403\u2013410).","DOI":"10.1109\/IRI.2017.67"},{"key":"9858_CR22","unstructured":"McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D. (1998). PDDL \u2013 The Planning Domain Definition Language. Tech. rep., AIPS-98 Planning Competition Committee."},{"key":"9858_CR23","doi-asserted-by":"crossref","unstructured":"Nedunuri, S., Prabhu, S., Moll, M., Chaudhuri, S., Kavraki, L.E. (2014). SMT-Based synthesis of integrated task and motion plans from plan outlines. In Proc. of ICRA\u201914 (pp. 655\u2013662).","DOI":"10.1109\/ICRA.2014.6906924"},{"key":"9858_CR24","unstructured":"Niemueller, T., Ferrein, A., Lakemeyer, G. (2009). A Lua-based behavior engine for controlling the humanoid robot Nao. In RoboCup Symposium (p. 2009)."},{"key":"9858_CR25","unstructured":"Niemueller, T., Lakemeyer, G., Ferrein, A. (2013). Incremental task-level reasoning in a competitive factory automation scenario. In Proc. of AAAI\u201913 Spring Symposium."},{"key":"9858_CR26","unstructured":"Niemueller, T., Lakemeyer, G., Ferrein, A. (2015). The RoboCup Logistics League as a benchmark for planning in robotics. In Proc. of PlanRob@ICAPS\u201915."},{"key":"9858_CR27","unstructured":"Niemueller, T., Karpas, E., Vaquero, T., Timmons, E. (2016a). Planning competition for logistics robots in simulation. In Proc. of PlanRob@ICAPS\u201916."},{"key":"9858_CR28","doi-asserted-by":"crossref","unstructured":"Niemueller, T., Neumann, T., Henke, C., Sch\u00f6nitz, S, Reuter, S., Ferrein, A., Jeschke, S., Lakemeyer, G. (2016b). Improvements for a robust production in the RoboCup Logistics League 2016. In Proc. of RoboCup\u201916 (pp. 589\u2013600).","DOI":"10.1007\/978-3-319-68792-6_49"},{"key":"9858_CR29","unstructured":"Niemueller, T, Lakemeyer, G, Leofante, F, \u00c1brah\u00e1m, E. (2017). Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization. In: Proc. of PlanRob@ICAPS\u201917."},{"key":"9858_CR30","doi-asserted-by":"crossref","unstructured":"Nieuwenhuis, R., & Oliveras, A. (2006). On SAT modulo theories and optimization problems. In Proc. of SAT\u201906 (pp. 156\u2013169).","DOI":"10.1007\/11814948_18"},{"key":"9858_CR31","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y. (2009). ROS: An open-source robot operating system. In ICRA workshop on open source software, (Vol. 3 p. 5)."},{"key":"9858_CR32","unstructured":"RCLL Technical Committee. (2017). RoboCup Logistics League \u2013 Rules and regulations 2017."},{"key":"9858_CR33","doi-asserted-by":"crossref","unstructured":"Saha, I., Ramaithitima, R., Kumar, V., Pappas, G.J., Seshia, S.A. (2014). Automated composition of motion primitives for multi-robot systems from safe LTL specifications. In Proc. of IROS\u201914 (pp. 1525\u20131532).","DOI":"10.1109\/IROS.2014.6942758"},{"issue":"2","key":"9858_CR34","doi-asserted-by":"publisher","first-page":"12:1","DOI":"10.1145\/2699915","volume":"16","author":"R Sebastiani","year":"2015","unstructured":"Sebastiani, R., & Tomasi, S. (2015). Optimization modulo theories with linear rational costs. ACM Transactions on Computational Logic, 16(2), 12:1\u201312:43.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9858_CR35","doi-asserted-by":"crossref","unstructured":"Sebastiani, R., & Trentin, P. (2015a). OptimathSAT: A tool for optimization modulo theories. In Proc. of CAV\u201915 (pp. 447\u2013454).","DOI":"10.1007\/978-3-319-21690-4_27"},{"key":"9858_CR36","doi-asserted-by":"crossref","unstructured":"Sebastiani, R., & Trentin, P. (2015b). Pushing the envelope of optimization modulo theories with linear-arithmetic cost functions. In Proc. of TACAS\u201915 (pp. 335\u2013349).","DOI":"10.1007\/978-3-662-46681-0_27"},{"key":"9858_CR37","unstructured":"Verma, V., Estlin, T., J\u00f3nsson, A., Pasareanu, C., Simmons, R., Tso, K. (2005a). Plan execution interchange language (PLEXIL) for executable plans and command sequences. In Proc. of i-SAIRAS\u201905."},{"key":"9858_CR38","unstructured":"Verma, V., J\u00f3nsson, A., Simmons, R., Estlin, T., Levinson, R. (2005b). Survey of command execution systems for NASA spacecraft and robots. In Plan execution: a reality check, workshop at ICAPS\u201905."},{"key":"9858_CR39","doi-asserted-by":"crossref","unstructured":"Verma, V., J\u00f3nsson, A., Pasareanu, C., Iatauro, M. (2006). Universal executive and PLEXIL: Engine and language for robust spacecraft control and operations. In American institute of aeronautics and astronautics space.","DOI":"10.2514\/6.2006-7449"},{"key":"9858_CR40","doi-asserted-by":"crossref","unstructured":"Wang, Y., Dantam, N.T., Chaudhuri, S., Kavraki, L.E. (2016). Task and motion policy synthesis as liveness games. In Proc. of ICAPS\u201916 (p. 536).","DOI":"10.1609\/icaps.v26i1.13792"},{"key":"9858_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0360-8352(89)90026-0","volume":"17","author":"RM Wygant","year":"1989","unstructured":"Wygant, R.M. (1989). CLIPS: A powerful development and delivery expert system tool. Computers & Industrial Engineering, 17, 1\u20134.","journal-title":"Computers & Industrial Engineering"},{"key":"9858_CR42","unstructured":"Zwilling, F., Niemueller, T., Lakemeyer, G. (2014). Simulation for the RoboCup Logistics League with real-world environment agency and multi-level abstraction. In Robot Soccer World Cup (pp. 220\u2013232). Springer."}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-018-9858-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-018-9858-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-018-9858-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T18:35:10Z","timestamp":1693679710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-018-9858-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,19]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9858"],"URL":"https:\/\/doi.org\/10.1007\/s10796-018-9858-3","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"type":"print","value":"1387-3326"},{"type":"electronic","value":"1572-9419"}],"subject":[],"published":{"date-parts":[[2018,5,19]]},"assertion":[{"value":"19 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}