{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T22:54:48Z","timestamp":1781132088788,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-16-2-0042"],"award-info":[{"award-number":["FA8750-16-2-0042"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,29]]},"DOI":"10.1145\/3387939.3391591","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:13:13Z","timestamp":1600481593000},"page":"125-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Software architecture and task plan co-adaptation for mobile service robots"],"prefix":"10.1145","author":[{"given":"Javier","family":"C\u00e1mara","sequence":"first","affiliation":[{"name":"University of York"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.039"},{"key":"e_1_3_2_1_2_1","unstructured":"Autonomous Stuff \"Velodyne LiDAR PUCK\u2122 \" retrieved on Mar. 7 2020 from https:\/\/www.autonomoustuff.com\/wp-content\/uploads\/2016\/08\/VLP-16-Puck.pdf."},{"key":"e_1_3_2_1_3_1","volume-title":"Model-driven synthesis of formally precise, stylized software architectures,\" Formal Asp. Comput","author":"Bagheri H.","unstructured":"H. Bagheri and K. J. Sullivan, \"Model-driven synthesis of formally precise, stylized software architectures,\" Formal Asp. Comput., vol. 28, no. 3, 2016."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194133.3194146"},{"key":"e_1_3_2_1_6_1","first-page":"9","volume-title":"MORPH: A reference architecture for configuration and behaviour self-adaptation,\" in Proceedings of the 1st International Workshop on Control Theory for Software Engineering","author":"Braberman V.","year":"2015","unstructured":"V. Braberman, N. D'Ippolito, J. Kramer, D. Sykes, and S. Uchitel, \"MORPH: A reference architecture for configuration and behaviour self-adaptation,\" in Proceedings of the 1st International Workshop on Control Theory for Software Engineering. New York, NY, USA: ACM, 2015, pp. 9--16."},{"key":"e_1_3_2_1_7_1","first-page":"131","volume-title":"ICSA. Gothenburg","author":"Calinescu R.","year":"2017","unstructured":"R. Calinescu, M. \u010ce\u0161ka, S. Gerasimou, M. Kwiatkowska, and N. Paoletti, \"Designing robust software systems through parametric markov chain synthesis,\" in 2017 IEEE International Conference on Software Architecture, ICSA. Gothenburg, Sweden: IEEE, April 3--7 2017, pp. 131--140."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.02.055"},{"key":"e_1_3_2_1_9_1","first-page":"3","volume-title":"LNCS","volume":"10475","author":"C\u00e1mara J.","year":"2017","unstructured":"J. C\u00e1mara, D. Garlan, and B. R. Schmerl, \"Synthesis and quantitative verification of tradeoff spaces for families of software systems,\" in Software Architecture - 11th European Conference, ECSA, ser. LNCS, vol. 10475. Springer, 2017, pp. 3--21."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.12.006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-018-0234-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"R. de Lemos H. Giese H. A. M\u00fcller M. Shaw J. Andersson M. Litoiu B. R. Schmerl G. Tamura N. M. Villegas T. Vogel D. Weyns L. Baresi B. Becker N. Bencomo Y. Brun B. Cukic R. J. Desmarais S. Dustdar G. Engels K. Geihs K. M. G\u00f6schka A. Gorla V. Grassi P. Inverardi G. Karsai J. Kramer A. Lopes J. Magee S. Malek S. Mankovski R. Mirandola J. Mylopoulos O. Nierstrasz M. Pezz\u00e8 C. Prehofer W. Sch\u00e4fer R. D. Schlichting D. B. Smith J. P. Sousa L. Tahvildari K. Wong and J. Wuttke \"Software engineering for self-adaptive systems: A second research roadmap \" in Software Engineering for Self-Adaptive Systems II - International Seminar Dagstuhl Castle Germany October 24--29 2010 Revised Selected and Invited Papers ser. Lecture Notes in Computer Science R. de Lemos H. Giese H. A. M\u00fcller and M. Shaw Eds. vol. 7475. Springer 2010 pp. 1--32.","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"e_1_3_2_1_13_1","volume-title":"ITNG 2014","author":"Dwivedi V.","year":"2014","unstructured":"V. Dwivedi, D. Garlan, J. Pfeffer, and B. Schmerl, \"Model-based assistance for making time\/fidelity trade-offs in component compositions,\" in 11th International Conference on Information Technology: New Generations, ITNG 2014. IEEE CS, 2014."},{"key":"e_1_3_2_1_14_1","first-page":"142","volume-title":"May 2009","author":"Edwards G.","unstructured":"G. Edwards, J. Garcia, H. Tajalli, D. Popescu, N. Medvidovic, G. Sukhatme, and B. Petrus, \"Architecture-driven self-adaptation and self-management in robotics systems,\" in 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, May 2009, pp. 142--151."},{"key":"e_1_3_2_1_15_1","volume-title":"Adaptive particle filters,\" in Advances in Neural Information Processing Systems 14","author":"Fox D.","year":"2001","unstructured":"D. Fox, \"KLD-sampling: Adaptive particle filters,\" in Advances in Neural Information Processing Systems 14. MIT Press, 2001."},{"key":"e_1_3_2_1_16_1","volume-title":"Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure,\" IEEE Computer","author":"Garlan D.","unstructured":"D. Garlan, S.-W. Cheng, A. Huang, B. Schmerl, and P. Steenkiste, \"Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure,\" IEEE Computer, vol. 37, no. 10, 2004."},{"key":"e_1_3_2_1_17_1","first-page":"47","volume-title":"Acme: Architectural description of component-based systems,\" in Foundations of Component-Based Systems","author":"Garlan D.","year":"2000","unstructured":"D. Garlan, R. T. Monroe, and D. Wile, \"Acme: Architectural description of component-based systems,\" in Foundations of Component-Based Systems, G. T. Leavens and M. Sitaraman, Eds. Cambridge University Press, 2000, pp. 47--68."},{"key":"e_1_3_2_1_18_1","unstructured":"Gazebosim.org \"Gazebo \" Retrieved on Jan. 20th 2020 from http:\/\/gazebosim.org\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.10.051"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/3073924"},{"key":"e_1_3_2_1_21_1","first-page":"1","volume-title":"Planning as model checking,\" in Recent Advances in AI Planning","author":"Giunchiglia F.","year":"2000","unstructured":"F. Giunchiglia and P. Traverso, \"Planning as model checking,\" in Recent Advances in AI Planning, S. Biundo and M. Fox, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000, pp. 1--20."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236046"},{"key":"e_1_3_2_1_23_1","first-page":"22","volume-title":"Proc. of the First Working IFIP Conference on Software Architecture","author":"Hilliard R.","year":"1999","unstructured":"R. Hilliard, \"Views and Viewpoints in Software Systems Architecture,\" in Proc. of the First Working IFIP Conference on Software Architecture, San Antonio, TX, 1999, pp. 22--24."},{"key":"e_1_3_2_1_24_1","volume-title":"models, and applications,\" ACM Comput. Surv","author":"Huebscher M. C.","unstructured":"M. C. Huebscher and J. A. McCann, \"A survey of autonomic computing - degrees, models, and applications,\" ACM Comput. Surv., vol. 40, no. 3, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_26_1","volume-title":"Montreal, Canada, 25--26","author":"Jamshidi P.","year":"2019","unstructured":"P. Jamshidi, J. C\u00e1mara, B. Schmerl, C. K\u00e4stner, and D. Garlan, \"Machine learning meets quantitative planning: Enabling self-adaptation in autonomous robots,\" in Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25--26 May 2019."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.01.049"},{"key":"e_1_3_2_1_28_1","volume-title":"7th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, ser. LNCS","author":"Kwiatkowska M. Z.","year":"2007","unstructured":"M. Z. Kwiatkowska, G. Norman, and D. Parker, \"Stochastic model checking,\" in FM for Performance Evaluation, 7th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, ser. LNCS, vol. 4486. Springer, 2007."},{"key":"e_1_3_2_1_29_1","first-page":"585","volume-title":"CAV","volume":"6806","author":"Kwiatkowska M. Z.","year":"2011","unstructured":"M. Z. Kwiatkowska, \"PRISM 4.0: Verification of probabilistic real-time systems,\" in Computer Aided Verification - 23rd International Conference, CAV, vol. 6806. Springer, 2011, pp. 585--591."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_2"},{"key":"e_1_3_2_1_31_1","first-page":"1511","volume-title":"Sep. 2014","author":"Lacerda B.","unstructured":"B. Lacerda, D. Parker, and N. Hawes, \"Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications,\" in 2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems, Sep. 2014, pp. 1511--1516."},{"key":"e_1_3_2_1_32_1","volume-title":"ACM","author":"Maoz S.","year":"2013","unstructured":"S. Maoz, J. O. Ringert, and B. Rumpe, \"Synthesis of component and connector models from crosscutting structural views,\" in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE'13. ACM, 2013."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"G. Mason R. Calinescu D. Kudenko and A. Banks \"Assurance in reinforcement learning using quantitative verification \" in Advances in Hybridization of Intelligent Methods: Models Systems and Applications ser. Smart Innovation Systems and Technologies I. Hatzilygeroudis and V. Palade Eds. Springer International Publishing AG 2018 vol. 85 pp. 71--96.","DOI":"10.1007\/978-3-319-66790-4_5"},{"key":"e_1_3_2_1_34_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-319-95582-7_24","volume-title":"Multi-robot LTL planning under uncertainty,\" in Formal Methods. FM2018","author":"Menghi C.","year":"2018","unstructured":"C. Menghi, S. Garcia, P. Pelliccione, and J. Tumova, \"Multi-robot LTL planning under uncertainty,\" in Formal Methods. FM2018, ser. Lecture Notes in Computer Science, K. Havelund, J. Peleska, B. Roscoe, and E. de Vink, Eds., vol. 10951. Cham: Springer International Publishing, 2018, pp. 399--417."},{"key":"e_1_3_2_1_35_1","unstructured":"C. Mericli S. Klee J. Paparian and M. Veloso \"An Interactive Approach for Situated Task Specification through Verbal Instructions \" in Proceedings of AAMAS'14 the Thirteenth International Joint Conference on Autonomous Agents and Multi-Agent Systems Paris France May 2014."},{"key":"e_1_3_2_1_36_1","volume-title":"ESEC\/FSE","author":"Moreno G. A.","year":"2015","unstructured":"G. A. Moreno, J. C\u00e1mara, D. Garlan, and B. Schmerl, \"Proactive self-adaptation under uncertainty: a probabilistic model checking approach,\" in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, E. D. Nitto, M. Harman, and P. Heymans, Eds. ACM, 2015, pp. 1--12."},{"key":"e_1_3_2_1_37_1","first-page":"75","volume-title":"SEAMS@ICSE","author":"Muccini H.","year":"2016","unstructured":"H. Muccini, M. Sharaf, and D. Weyns, \"Self-adaptation for cyber-physical systems: a systematic literature review,\" in Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016. ACM, May 14--22 2016, pp. 75--81."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1074"},{"key":"e_1_3_2_1_39_1","first-page":"25","volume-title":"SEAMS@ICSE","author":"Paterson C.","year":"2019","unstructured":"C. Paterson, R. Calinescu, D. Wang, and S. Manandhar, \"Using unstructured data to improve the continuous planning of critical processes involving humans,\" in Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019. Montreal, QC, Canada: ACM, May 25--31 2019, pp. 25--31."},{"key":"e_1_3_2_1_40_1","volume-title":"ROS: an open-source robot operating system,\" in ICRA Workshop on Open Source Software","author":"Quigley M.","year":"2009","unstructured":"M. Quigley, K. Conley, B. P. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng, \"ROS: an open-source robot operating system,\" in ICRA Workshop on Open Source Software, 2009."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.imavis.2018.05.004"},{"key":"e_1_3_2_1_42_1","unstructured":"ROS.org \"Move_base - ROS Wiki \" Retrieved on Jan. 20th 2020 from http:\/\/wiki.ros.org\/move_base."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"I. Ruchkin S. Samuel B. Schmerl A. Rico and D. Garlan \"Challenges in physical modeling for adaptation of cyber-physical systems \" in Workshop on MARTCPS Models at Runtime and Networked Control for Cyber Physical Systems at IEEE World Forum on the Internet of Things Reston Virginia 12--14 December 2016.","DOI":"10.1109\/WF-IoT.2016.7845513"},{"key":"e_1_3_2_1_44_1","first-page":"62","volume-title":"Feb 2019","author":"Santos A.","unstructured":"A. Santos, A. Cunha, and N. Macedo, \"Static-Time Extraction and Analysis of the ROS Computation Graph,\" in 2019 Third IEEE International Conference on Robotic Computing (IRC), Feb 2019, pp. 62--69."},{"key":"e_1_3_2_1_45_1","volume-title":"Milan","author":"Schoppers M.","year":"1987","unstructured":"M. Schoppers, \"Universal plans for reactive robots in unpredictable environments,\" in Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 1987. Morgan Kaufmann, 1987."},{"key":"e_1_3_2_1_46_1","volume-title":"Software architecture - perspectives on an emerging discipline","author":"Shaw M.","year":"1996","unstructured":"M. Shaw and D. Garlan, Software architecture - perspectives on an emerging discipline. Prentice Hall, 1996."},{"key":"e_1_3_2_1_47_1","first-page":"1","volume-title":"SEAMS 2008","author":"Sykes D.","year":"2008","unstructured":"D. Sykes, W. Heaven, J. Magee, and J. Kramer, \"From goals to components: a combined approach to self-management,\" in 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, B. H. C. Cheng, R. de Lemos, D. Garlan, H. Giese, M. Litoiu, J. Magee, H. A. M\u00fcller, and R. N. Taylor, Eds. Leipzig, Germany: ACM, May 12--13 2008, pp. 1--8."},{"key":"e_1_3_2_1_48_1","volume-title":"Sierre","author":"Sykes D.","year":"2010","unstructured":"D. Sykes, \"Exploiting non-functional preferences in architectural adaptation for self-managed systems,\" in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). Sierre, Switzerland: ACM, March 22--26 2010."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859092"},{"key":"e_1_3_2_1_50_1","first-page":"4423","volume-title":"IJCAI'15","author":"Veloso M.","year":"2015","unstructured":"M. Veloso, J. Biswas, B. Coltin, and S. Rosenthal, \"Cobots: Robust symbiotic autonomous mobile service robots,\" in Proceedings of the 24th International Conference on Artificial Intelligence, ser. IJCAI'15. AAAI Press, 2015, pp. 4423--4429."},{"key":"e_1_3_2_1_51_1","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer J.","year":"2003","unstructured":"J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, 2003."}],"event":{"name":"SEAMS '20: IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","location":"Seoul Republic of Korea","acronym":"SEAMS '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391591","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3391591","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3391591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:42Z","timestamp":1750200102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391591"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":50,"alternative-id":["10.1145\/3387939.3391591","10.1145\/3387939"],"URL":"https:\/\/doi.org\/10.1145\/3387939.3391591","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}