{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:29:31Z","timestamp":1770748171186,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,29]]},"DOI":"10.1145\/3387939.3391592","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:13:13Z","timestamp":1600481593000},"page":"181-187","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Explanations for human-on-the-loop"],"prefix":"10.1145","author":[{"given":"Nianyu","family":"Li","sequence":"first","affiliation":[{"name":"Peking University"}]},{"given":"Sridhar","family":"Adepu","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design"}]},{"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science, vol 5525","volume-title":"Software engineering for self-adaptive systems: A research roadmap\" in Software Engineering for Self-Adaptive Systems","author":"Cheng B. H. C.","unstructured":"B. H. C. Cheng and et al., \"Software engineering for self-adaptive systems: A research roadmap\" in Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, vol 5525. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Software engineering for self-adaptive systems: A second research roadmap,\" in Software Engineering for Self-Adaptive Systems II - International Seminar","author":"de Lemos R.","year":"2010","unstructured":"R. de Lemos and et al., \"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, 2010, pp. 1--32."},{"key":"e_1_3_2_1_3_1","first-page":"293","volume-title":"SEFM 2015, York, UK, September 7--11, 2015. Proceedings","author":"Sukkerd R.","year":"2015","unstructured":"R. Sukkerd, D. Garlan, and R. G. Simmons, \"Task planning of cyber-human systems,\" in Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7--11, 2015. Proceedings, 2015, pp. 293--309."},{"key":"e_1_3_2_1_4_1","first-page":"146","volume-title":"SEAMS, Florence, Italy, May 18--19","author":"C\u00e1mara J.","year":"2015","unstructured":"J. C\u00e1mara, G. A. Moreno, and D. Garlan, \"Reasoning about human participation in self-adaptive systems,\" in 10th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, Florence, Italy, May 18--19, 2015, 2015, pp. 146--156."},{"key":"e_1_3_2_1_5_1","first-page":"163","volume-title":"SEAMS@ICSE","author":"Lloyd E.","year":"2017","unstructured":"E. Lloyd, S. Huang, and E. Tognoli, \"Improving human-in-the-loop adaptive systems using brain-computer interaction,\" in 12th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires, Argentina, May 22--23, 2017, 2017, pp. 163--174."},{"key":"e_1_3_2_1_6_1","first-page":"1","article-title":"In-the-loop or on-the-loop? interactional arrangements to support team coordination with a planning agent","author":"Fischer J. E.","year":"2017","unstructured":"J. E. Fischer, C. Greenhalgh, W. Jiang, S. D. Ramchurn, F. Wu, and T. Rodden, \"In-the-loop or on-the-loop? interactional arrangements to support team coordination with a planning agent,\" Concurrency and Computation: Practice and Experience, pp. 1--16, 2017.","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"e_1_3_2_1_7_1","volume-title":"Explanation and justification in machine learning: A survey\" in IJCAI-17 workshop on explainable AI (XAI)","author":"Biran O.","year":"2017","unstructured":"O. Biran and C. Cotton, \"Explanation and justification in machine learning: A survey\" in IJCAI-17 workshop on explainable AI (XAI), vol. 8, 2017, p. 1."},{"key":"e_1_3_2_1_8_1","first-page":"66","article-title":"Relationships between robot's self-disclosures and human's anxiety toward robots,\" in Proceedings of the 2011 IEEE\/WIC\/ACM International Conferences on Web Intelligence and Intelligent Agent Technology-Volume 03","author":"Nomura T.","year":"2011","unstructured":"T. Nomura and K. Kawakami, \"Relationships between robot's self-disclosures and human's anxiety toward robots,\" in Proceedings of the 2011 IEEE\/WIC\/ACM International Conferences on Web Intelligence and Intelligent Agent Technology-Volume 03. IEEE Computer Society, 2011, pp. 66--69.","journal-title":"IEEE Computer Society"},{"key":"e_1_3_2_1_9_1","first-page":"73","volume-title":"Probabilistic Model Checking: Advances and Applications","author":"Kwiatkowska M.","year":"2018","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic Model Checking: Advances and Applications. Cham: Springer International Publishing, 2018, pp. 73--121."},{"key":"e_1_3_2_1_10_1","unstructured":"\"Tesla's trouble with semi trucks & another shakeup of the autopilot team --- is there a connection?\" https:\/\/cleantechnica.com\/2019\/05\/21\/teslas-trouble-with-trucks-and-another-shakeup-of-the-autopilot-team-is-there-a-connection\/ accessed: 2019-05-21."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070821.2070822"},{"key":"e_1_3_2_1_12_1","first-page":"227","volume-title":"it didn't arm. - a case study of two automation surprises.\" in Proceedings of the 8th International Symposium on Aviation Psychology","author":"Palmer E.","year":"1996","unstructured":"E. Palmer, \"Oops, it didn't arm. - a case study of two automation surprises.\" in Proceedings of the 8th International Symposium on Aviation Psychology, 1996, pp. 227--232."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_14_1","volume-title":"Ed. Springer Berlin Heidelberg","author":"Bianco A.","year":"1995","unstructured":"A. Bianco and L. de Alfaro, \"Model checking of probabilistic and nondeterministic systems,\" in Foundations of Software Technology and Theoretical Computer Science, P. S. Thiagarajan, Ed. Springer Berlin Heidelberg, 1995."},{"key":"e_1_3_2_1_15_1","first-page":"585","volume-title":"Proceedings","author":"Kwiatkowska M. Z.","year":"2011","unstructured":"M. Z. Kwiatkowska, G. Norman, and D. Parker, \"PRISM 4.0: Verification of probabilistic real-time systems,\" in Computer Aided Verification - 23rd International Conference, CAV, July 14--20, 2011. Proceedings, 2011, pp. 585--591."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0177-x"},{"key":"e_1_3_2_1_18_1","volume-title":"Tools for plotting 3-d and 2-d data.\" https:\/\/cran.r-project.org\/web\/packages\/plot3D\/vignettes\/plot3D.pdf","author":"Soetaert K.","year":"2018","unstructured":"K. Soetaert, \"plot3d : Tools for plotting 3-d and 2-d data.\" https:\/\/cran.r-project.org\/web\/packages\/plot3D\/vignettes\/plot3D.pdf, 2018."},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"Improving transparency and understandability of multi- objective probabilistic planning","author":"Sukkerd R.","year":"2018","unstructured":"R. Sukkerd, \"Improving transparency and understandability of multi- objective probabilistic planning,\" Thesis Proposal - School of Computer Science Institute for Software Research Software Engineering, Carnegie Mellon University, pp. 1--41, 2018.","journal-title":"Thesis Proposal - School of Computer Science Institute for Software Research Software Engineering, Carnegie Mellon University"},{"key":"e_1_3_2_1_21_1","first-page":"2119","volume-title":"CHI 2009","author":"Lim B. Y.","year":"2009","unstructured":"B. Y. Lim, A. K. Dey, and D. Avrahami, \"Why and why not explanations improve the intelligibility of context-aware intelligent systems,\" in Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4--9, 2009, 2009, pp. 2119--2128."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.03.013"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.07.007"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/64.21896"},{"key":"e_1_3_2_1_25_1","first-page":"303","volume-title":"IEEE","author":"Hayes B.","year":"2017","unstructured":"B. Hayes and J. A. Shah, \"Improving robot controller transparency through autonomous policy explanation,\" in 2017 12th ACM\/IEEE International Conference on Human-Robot Interaction (HRI. IEEE, 2017, pp. 303--312."},{"key":"e_1_3_2_1_26_1","first-page":"3427","volume-title":"IEEE","author":"Wohleber R. W.","year":"2017","unstructured":"R. W. Wohleber, K. Stowers, J. Y. Chen, and M. Barnes, \"Effects of agent transparency and communication framing on human-agent teaming,\" in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, 2017, pp. 3427--3432."},{"key":"e_1_3_2_1_27_1","first-page":"168","volume-title":"Methodologies and Development Tools for Multi-Agent Systems. Springer","author":"Harbers M.","year":"2009","unstructured":"M. Harbers, K. Van Den Bosch, and J.-J. Meyer, \"A methodology for developing self-explaining agents for virtual training,\" in International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems. Springer, 2009, pp. 168--182."},{"key":"e_1_3_2_1_28_1","first-page":"88","volume-title":"IEEE","author":"Kaptein F.","year":"2017","unstructured":"F. Kaptein, J. Broekens, K. Hindriks, and M. Neerincx, \"The role of emotion in self-explanations by cognitive agents,\" in 2017 Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW). IEEE, 2017, pp. 88--93."},{"key":"e_1_3_2_1_29_1","first-page":"3","volume-title":"IEEE","author":"Kulesza T.","year":"2013","unstructured":"T. Kulesza, S. Stumpf, M. Burnett, S. Yang, I. Kwan, and W.-K. Wong, \"Too much, too little, or just right? ways explanations impact end users' mental models,\" in 2013 IEEE Symposium on Visual Languages and Human Centric Computing. IEEE, 2013, pp. 3--10."},{"key":"e_1_3_2_1_30_1","volume-title":"Data protection: a practical guide to UK and EU law","author":"Carey P.","year":"2018","unstructured":"P. Carey., Data protection: a practical guide to UK and EU law. Oxford University Press, Inc., 2018."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1515\/pjbr-2018-0009"},{"key":"e_1_3_2_1_32_1","volume-title":"non-verbal social human-robot interaction","author":"Bethel C. L.","year":"2009","unstructured":"C. L. Bethel, \"Robots without faces: non-verbal social human-robot interaction,\" 2009."},{"key":"e_1_3_2_1_33_1","first-page":"28","volume-title":"C. Jonker, and J.-J. Meyer, \"Do you get it? user-evaluated explainable bdi agents\" in German Conference on Multiagent System Technologies","author":"Broekens J.","year":"2010","unstructured":"J. Broekens, M. Harbers, K. Hindriks, K. Van Den Bosch, C. Jonker, and J.-J. Meyer, \"Do you get it? user-evaluated explainable bdi agents\" in German Conference on Multiagent System Technologies. Springer 2010 pp. 28--39."},{"key":"e_1_3_2_1_34_1","first-page":"156","volume-title":"IJCAI 2017","author":"Zhang T.","year":"2017","unstructured":"T. Chakraborti S. Sreedharan Y. Zhang and S. Kambhampati \"Plan explanations as model reconciliation: Moving beyond explanation as soliloquy\" in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19--25, 2017 2017 pp. 156--163."},{"key":"e_1_3_2_1_35_1","unstructured":"F. Elizalde L. E. Sucar M. Luque J. Diez and A. Reyes \"Policy explanation in factored markov decision processes.\" in In Proc European Workshop on Probabilistic Graphical Models (PGM) 2008 pp. 97--104."},{"key":"e_1_3_2_1_36_1","volume-title":"ICAPS 2009","author":"Khan O. Z.","year":"2009","unstructured":"O. Z. Khan, P. Poupart, and J. P. Black, \"Minimal sufficient explanations for factored markov decision processes,\" in Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19--23, 2009, 2009."},{"key":"e_1_3_2_1_37_1","first-page":"19","volume-title":"ICSE 2018","author":"Sukkerd R.","year":"2018","unstructured":"R. Sukkerd, R. G. Simmons, and D. Garlan, \"Towards explainable multi-objective probabilistic planning,\" in Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018, 2018, pp. 19--25."}],"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.3391592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3391592","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.3391592"}},"subtitle":["a probabilistic model checking approach"],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":36,"alternative-id":["10.1145\/3387939.3391592","10.1145\/3387939"],"URL":"https:\/\/doi.org\/10.1145\/3387939.3391592","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"}}]}}