{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T15:57:08Z","timestamp":1718035028958},"reference-count":66,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>When studying the use of assistive robots in home environments, and especially how such robots can be personalised to meet the needs of the resident, key concerns are issues related to behaviour verification, behaviour interference and safety. Here, personalisation refers to the teaching of new robot behaviours by both technical and non-technical end users. In this article, we consider the issue of behaviour interference caused by situations where newly taught robot behaviours may affect or be affected by existing behaviours and thus, those behaviours will not or might not ever be executed. We focus in particular on how such situations can be detected and presented to the user. We describe the human\u2013robot behaviour teaching system that we developed as well as the formal behaviour checking methods used. The online use of behaviour checking is demonstrated, based on static analysis of behaviours during the operation of the robot, and evaluated in a user study. We conducted a proof-of-concept human\u2013robot interaction study with an autonomous, multi-purpose robot operating within a smart home environment. Twenty participants individually taught the robot behaviours according to instructions they were given, some of which caused interference with other behaviours. A mechanism for detecting behaviour interference provided feedback to participants and suggestions on how to resolve those conflicts. We assessed the participants\u2019 views on detected interference as reported by the behaviour teaching system. Results indicate that interference warnings given to participants during teaching provoked an understanding of the issue. We did not find a significant influence of participants\u2019 technical background. These results highlight a promising path towards verification and validation of assistive home companion robots that allow end-user personalisation.<\/jats:p>","DOI":"10.1515\/pjbr-2021-0028","type":"journal-article","created":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T21:28:26Z","timestamp":1632864506000},"page":"402-422","source":"Crossref","is-referenced-by-count":5,"title":["Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study"],"prefix":"10.1515","volume":"12","author":[{"given":"Kheng Lee","family":"Koay","sequence":"first","affiliation":[{"name":"Department of Computer Science, School of Physics, Engineering & Computer Science, University of Hertfordshire, College Lane, Hatfield , Hertfordshire , AL10 9AB , United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Webster","sequence":"additional","affiliation":[{"name":"School of Computer Science and Mathematics, Liverpool John Moores University , Liverpool , L2 2QP , United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Manchester , Manchester , M13 9PL , United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Gainer","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool , Liverpool , United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dag","family":"Syrdal","sequence":"additional","affiliation":[{"name":"Department of Computer Science, School of Physics, Engineering & Computer Science, University of Hertfordshire, College Lane, Hatfield , Hertfordshire , AL10 9AB , United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Manchester , Manchester , M13 9PL , United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Dautenhahn","sequence":"additional","affiliation":[{"name":"Departments of Electrical and Computer Engineering and Systems Design Engineering, University of Waterloo , Ontario , Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2021,9,15]]},"reference":[{"key":"2022020408211295802_j_pjbr-2021-0028_ref_001","unstructured":"Emotech, \u201cOlly \u2013 the first home robot with personality,\u201d 2018, \nhttps:\/\/www.indiegogo.com\/projects\/olly-the-first-home-robot-with-personality#\/ [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_002","unstructured":"iRobot, \u201cRoomba\u00ae e5 Robot Vacuum,\u201d 2021, https:\/\/shop.irobot.co.uk [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_003","unstructured":"SoftBank Robotics, \u201cPepper,\u201d 2021, https:\/\/www.softbankrobotics.com\/emea\/en\/pepper [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_004","unstructured":"Mayfield Robotics, \u201cKuri,\u201d 2018, https:\/\/www.heykuri.com\/explore-kuri\/ [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_005","doi-asserted-by":"crossref","unstructured":"K. Dautenhahn\n, \u201cSocially intelligent robots: dimensions of human\u2013robot interaction,\u201d Philos. Trans. R Soc. B Biol. Sci., vol. 362, no. 1480, pp. 679\u2013704, 2007.","DOI":"10.1098\/rstb.2006.2004"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_006","doi-asserted-by":"crossref","unstructured":"F. Amirabdollahian\n, \nR. op den Akker\n, \nS. Bedaf\n, \nR. Bormann\n, \nH. Draper\n, \nV. Evers\n, et al., \u201cAssistive technology design and development for acceptable robotics companions for ageing years,\u201d Paladyn, J. Behav. Robot., vol. 4, no. 2, pp. 94\u2013112, 2013.","DOI":"10.2478\/pjbr-2013-0007"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_007","doi-asserted-by":"crossref","unstructured":"J. Saunders\n, \nD. Syrdal\n, \nN. Burke\n, \nK. Koay\n, and \nK. Dautenhahn\n, \u201c\u2018Teach Me \u2013 Show Me\u2019\u2013end-user personalisation of a smart home and companion robot,\u201d IEEE Trans. Hum.-Machine Sys., vol. 46, no. 1, pp. 27\u201340, 2016.","DOI":"10.1109\/THMS.2015.2445105"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_008","unstructured":"B. Przywara\n, \u201cProjecting future health care expenditure at European level: drivers, methodology and main results,\u201d in European Economy, European Commision, Economic and Financial Affairs, 2010."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_009","unstructured":"Eurostats, \u201cPopulation projections - online database,\u201d 2019, https:\/\/ec.europa.eu\/eurostat\/web\/population-demography-migration-projections\/population-projections-data [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_010","doi-asserted-by":"crossref","unstructured":"J. Huang\n, \nT. Lau\n, and \nM. Cakmak\n, \u201cDesign and evaluation of a rapid programming system for service robots,\u201d in 2016 11th ACM\/IEEE International Conference on Human\u2013Robot Interaction (HRI), 2016, pp. 295\u2013302.","DOI":"10.1109\/HRI.2016.7451765"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_011","doi-asserted-by":"crossref","unstructured":"T. Lourens\n and \nE. Barakova\n, \u201cUser-friendly robot environment for creation of social scenarios,\u201d in Foundations on Natural and Artificial Computation, \nJ. M. Ferr\u00e1ndez\n, \nJ. R. \u00c1lvarez S\u00e1nchez\n, \nF. de la Paz\n, and \nF. J. Toledo\n, Eds., Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 212\u2013221.","DOI":"10.1007\/978-3-642-21344-1_23"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_012","doi-asserted-by":"crossref","unstructured":"E. Barakova\n, \nJ. Gillesen\n, \nB. Huskens\n, and \nT. Lourens\n, \u201cEnd-user programming architecture facilitates the uptake of robots in social therapies,\u201d Robot. Autonom. Sys., vol. 61, no. 7, pp. 704\u2013713, 2013.","DOI":"10.1016\/j.robot.2012.08.001"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_013","doi-asserted-by":"crossref","unstructured":"G. Ghiani\n, \nM. Manca\n, \nF. Patern\u00f2\n, and \nC. Santoro\n, \u201cPersonalization of context-dependent applications through trigger-action rules,\u201d ACM Trans. Comput.-Hum. Interact., vol. 24, no. 2, art. 14, pp. 1\u201333, 2017.","DOI":"10.1145\/3057861"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_014","doi-asserted-by":"crossref","unstructured":"N. Leonardi\n, \nM. Manca\n, \nF. Patern\u00f2\n, and \nC. Santoro\n, \u201cTrigger-action programming for personalising humanoid robot behaviour,\u201d in CHI \u201919: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Association for Computing Machinery, New York, NY, USA, 2019, art. 445, pp. 1\u201313.","DOI":"10.1145\/3290605.3300675"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_015","doi-asserted-by":"crossref","unstructured":"F. Patern\u00f3\n and \nC. Santoro\n, \u201cEnd-user development for personalizing applications, things, and robots,\u201d Int. J. Hum.-Comp. Stud., vol. 131, pp. 120\u2013130, 2019.","DOI":"10.1016\/j.ijhcs.2019.06.002"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_016","doi-asserted-by":"crossref","unstructured":"E. Coronado\n, \nF. Mastrogiovanni\n, \nB. Indurkhya\n, and \nG. Venture\n, \u201cVisual programming environments for end-user development of intelligent and social robots, a systematic review,\u201d J. Comp. Lang., vol. 58, art. 100970, 2020.","DOI":"10.1016\/j.cola.2020.100970"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_017","unstructured":"M. Webster\n, \nC. Dixon\n, \nM. Fisher\n, \nM. Salem\n, \nJ. Saunders\n, \nK. L. Koay\n, et al., \u201cFormal verification of an autonomous personal robotic assistant,\u201d in Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium (FVHMS 2014), 2014."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_018","doi-asserted-by":"crossref","unstructured":"C. Dixon\n, \nM. Webster\n, \nJ. Saunders\n, \nM. Fisher\n, and \nK. Dautenhahn\n, \u201c\u2018The fridge door is open\u2019 \u2013 temporal verification of a robotic assistant\u2019s behaviours,\u201d in Advances in Autonomous Robotics Systems: 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1\u20133, 2014. Proceedings, \nA. Mistry\n, \nM. Leonardis\n, \nM. Witkowski\n, and \nC. Melhuish\n, Eds., Cham: Springer International Publishing, 2014, pp. 97\u2013108.","DOI":"10.1007\/978-3-319-10401-0_9"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_019","doi-asserted-by":"crossref","unstructured":"M. Webster\n, \nC. Dixon\n, \nM. Fisher\n, \nM. Salem\n, \nJ. Saunders\n, \nK. L. Koay\n, et al., \u201cToward reliable autonomous robotic assistants through formal verification: A case study,\u201d IEEE Trans. Hum.-Machine Sys., vol. 46, no. 2, pp. 186\u2013196, 2016.","DOI":"10.1109\/THMS.2015.2425139"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_020","doi-asserted-by":"crossref","unstructured":"P. Gainer\n, \nC. Dixon\n, \nK. Dautenhahn\n, \nM. Fisher\n, \nU. Hustadt\n, \nJ. Saunders\n, et al., \u201cCruton: Automatic verification of a robotic assistant\u2019s behaviours,\u201d in Proceedings of FMICS-AVOCS 2017, vol. 10471 of LNCS, Springer, 2017, pp. 119\u2013133.","DOI":"10.1007\/978-3-319-67113-0_8"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_021","doi-asserted-by":"crossref","unstructured":"B. Scassellati\n, \nL. Boccanfuso\n, \nC.-M. Huang\n, \nM. Mademtzi\n, \nM. Qin\n, \nN. Salomons\n, et al., \u201cImproving social skills in children with asd using a long-term, in-home social robot,\u201d Sci. Robot., vol. 3, no. 21, art. eeat7544, 2018.","DOI":"10.1126\/scirobotics.aat7544"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_022","doi-asserted-by":"crossref","unstructured":"D. S. Syrdal\n, \nK. Dautenhahn\n, \nB. Robins\n, \nE. Karakosta\n, and \nN. C. Jones\n, \u201cKaspar in the wild: Experiences from deploying a small humanoid robot in a nursery school for children with autism,\u201d Paladyn, J. Behav. Robot., vol. 11, no. 1, pp. 301\u2013326, 2020.","DOI":"10.1515\/pjbr-2020-0019"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_023","doi-asserted-by":"crossref","unstructured":"M. M. A. de Graaf\n, \nS. BenAllouch\n, and \nJ. A. G. M. van Dijk\n, \u201cLong-term evaluation of a social robot in real homes,\u201d Interact. Stud., vol. 17, no. 3, pp. 462\u2013491, 2016.","DOI":"10.1075\/is.17.3.08deg"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_024","doi-asserted-by":"crossref","unstructured":"M. De Graaf\n, \nS. B. Allouch\n, and \nJ. Van Diik\n, \u201cWhy do they refuse to use my robot?: Reasons for non-use derived from a long-term home study,\u201d in 2017 12th ACM\/IEEE International Conference on Human\u2013Robot Interaction (HRI), 2017, pp. 224\u2013233.","DOI":"10.1145\/2909824.3020236"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_025","doi-asserted-by":"crossref","unstructured":"N. Hu\n, \nG. Englebienne\n, and \nB. J. A. Kr\u00f6se\n, \u201cBayesian fusion of ceiling mounted camera and laser range finder on a mobile robot for people detection and localization,\u201d in Proceedings of IROS Workshop: Human Behavior Understanding, Vol. 7559 of Lecture Notes in Computer Science, 2012, pp. 41\u201351.","DOI":"10.1007\/978-3-642-34014-7_4"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_026","unstructured":"M. Quigley\n, \nK. Conley\n, \nB. Gerkey\n, \nJ. Faust\n, \nT. Foote\n, \nJ. Leibs\n, et al., \u201cROS: an open-source robot operating system,\u201d in ICRA Workshop on Open Source Software, 2009."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_027","unstructured":"University of Hertfordshire, \u201cRobot House,\u201d 2021, https:\/\/robothouse.herts.ac.uk\/ [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_028","doi-asserted-by":"crossref","unstructured":"K. L. Koay\n, \nD. S. Syrdal\n, \nK. Dautenhahn\n, and \nM. L. Walters\n, \u201cA narrative approach to human\u2013robot interaction prototyping for companion robots,\u201d Paladyn, J. Behav. Robot., vol. 11, no. 1, pp. 66\u201385, 2020.","DOI":"10.1515\/pjbr-2020-0003"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_029","doi-asserted-by":"crossref","unstructured":"A. Chanseau\n, \nK. Dautenhahn\n, \nK. L. Koay\n, \nM. L. Walters\n, \nG. Lakatos\n, and \nM. Salem\n, \u201cHow does peoples\u2019 perception of control depend on the criticality of a task performed by a robot,\u201d Paladyn, J. Behav. Robot., vol. 10, no. 1, pp. 380\u2013400, 2019.","DOI":"10.1515\/pjbr-2019-0030"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_030","doi-asserted-by":"crossref","unstructured":"M. Salem\n, \nG. Lakatos\n, \nF. Amirabdollahian\n, and \nK. Dautenhahn\n, \u201cWould you trust a (faulty) robot? Effects of error, task type and personality on human\u2013robot cooperation and trust,\u201d in 2015 10th ACM\/IEEE International Conference on Human\u2013Robot Interaction (HRI), 2015, pp. 1\u20138.","DOI":"10.1145\/2696454.2696497"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_031","doi-asserted-by":"crossref","unstructured":"D. S. Syrdal\n, \nK. Dautenhahn\n, \nK. L. Koay\n, and \nW. C. Ho\n, \u201cIntegrating constrained experiments in long-term human\u2013robot interaction using task- and scenario-based prototyping,\u201d Inform. Soc., vol. 31, no. 3, pp. 265\u2013283, 2015.","DOI":"10.1080\/01972243.2015.1020212"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_032","doi-asserted-by":"crossref","unstructured":"U. Reiser\n, \nC. Connette\n, \nJ. Fischer\n, \nJ. Kubacki\n, \nA. Bubeck\n, \nF. Weisshardt\n, et al., \u201cCare-O-bot\u00ae3 - creating a product vision for service robot applications by integrating design and technology,\u201d in 2009 IEEE\/RSJ International Conference on Intelligent Robots and Systems, 2009, pp. 1992\u20131998.","DOI":"10.1109\/IROS.2009.5354526"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_033","doi-asserted-by":"crossref","unstructured":"U. Reiser\n, \nT. Jacobs\n, \nG. Arbeiter\n, \nC. Parlitz\n, and \nK. Dautenhahn\n, \u201cCare-O-bot\u00ae3-vision of a robot butler,\u201d in Your Virtual Butler: The Making-of, R. Trappl, Ed., Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 97\u2013116.","DOI":"10.1007\/978-3-642-37346-6_9"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_034","unstructured":"J. Saunders\n, \nN. Burke\n, \nK. L. Koay\n, and \nK. Dautenhahn\n, \u201cA user friendly robot architecture for re-ablement and co-learning in a sensorised homes,\u201d in Proceedings of the 12th European Conference Advancement Assistive Technology in Europe, (AAATE13), 2013."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_035","doi-asserted-by":"crossref","unstructured":"J. Saunders\n, \nM. Salem\n, and \nK. Dautenhahn\n, \u201cTemporal issues in teaching robot behaviours in a knowledge-based sensorised home,\u201d in Proceedings 2nd International Workshop on Adaptive Robotic Ecologies, Dublin, Ireland, (ARE13), 2013.","DOI":"10.1007\/978-3-319-04406-4_11"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_036","doi-asserted-by":"crossref","unstructured":"T. Henderson\n and \nE. Shilcrat\n, \u201cLogical sensor systems,\u201d J. Robotic Syst., vol. 1, pp. 169\u2013193, 1984.","DOI":"10.1002\/rob.4620010206"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_037","doi-asserted-by":"crossref","unstructured":"J. E. Laird\n, The Soar Cognitive Architecture, Cambridge, Massachusetts\/London, England: The MIT Press, 2012.","DOI":"10.7551\/mitpress\/7688.001.0001"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_038","doi-asserted-by":"crossref","unstructured":"I. Georgievski\n and \nM. Aiello\n, \u201cHTN planning,\u201d Artif. Intell., vol. 222, no. C, pp. 124\u2013156, 2015.","DOI":"10.1016\/j.artint.2015.02.002"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_039","unstructured":"J. R. Anderson\n and \nC. Lebiere\n, The Atomic Components of Thought, Mahwah, NJ: Erlbaum, 1998."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_040","doi-asserted-by":"crossref","unstructured":"M. Fisher\n, An Introduction to Practical Formal Methods Using Temporal Logic, Chichester: Wiley, 2011.","DOI":"10.1002\/9781119991472"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_041","unstructured":"G. Holzmann\n, \u201cInspiring applications of Spin,\u201d 2018, http:\/\/spinroot.com\/spin\/success.html [Accessed: July 7, 2021]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_042","doi-asserted-by":"crossref","unstructured":"J. Woodcock\n, \nP. G. Larsen\n, \nJ. Bicarregui\n, and \nJ. Fitzgerald\n, \u201cFormal methods: Practice and experience,\u201d ACM Comput. Surv., vol. 41, pp. 19:1\u201319:36, Oct. 2009.","DOI":"10.1145\/1592434.1592436"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_043","doi-asserted-by":"crossref","unstructured":"G. J. Holzmann\n, \u201cThe model checker SPIN,\u201d IEEE Trans. Softw. Eng., vol. 23, pp. 279\u2013295, May 1997.","DOI":"10.1109\/32.588521"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_044","doi-asserted-by":"crossref","unstructured":"A. Cimatti\n, \nE. Clarke\n, \nE. Giunchiglia\n, \nF. Giunchiglia\n, \nM. Pistore\n, \nM. Roveri\n, et al., \u201cNuSMV version 2: An opensource tool for symbolic model checking,\u201d in Proceedings of the International Conference on Computer-Aided Verification (CAV), vol. 2404 of LNCS, Springer, 2002.","DOI":"10.1007\/3-540-45657-0_29"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_045","doi-asserted-by":"crossref","unstructured":"M. Kwiatkowska\n, \nG. Norman\n, and \nD. Parker\n, \u201cPRISM 4.0: Verification of probabilistic real-time systems,\u201d in Proceedings of the 23rd International Conference on Computer Aided Verification (CAV\u201911), vol. 6806 of LNCS, Springer, 2011.","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_046","doi-asserted-by":"crossref","unstructured":"M. Luckcuck\n, \nM. Farrell\n, \nL. A. Dennis\n, \nC. Dixon\n, and \nM. Fisher\n, \u201cFormal specification and verification of autonomous robotic systems: A survey,\u201d ACM Comput. Surv., vol. 52, no. 5, pp. 1\u201341, 2019.","DOI":"10.1145\/3342355"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_047","doi-asserted-by":"crossref","unstructured":"D. Porfirio\n, \nA. Saupp\u00e9\n, \nA. Albarghouthi\n, and \nB. Mutlu\n, \u201cAuthoring and verifying human\u2013robot interactions,\u201d in Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, UIST \u201918, New York, NY, USA: Association for Computing Machinery, Oct. 2018, pp. 75\u201386.","DOI":"10.1145\/3242587.3242634"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_048","unstructured":"H. Kress-Gazit\n, \nK. Eder\n, \nG. Hoffman\n, \nH. Admoni\n, \nB. Argall\n, \nR. Ehlers\n, et al., \u201cFormalizing and guaranteeing* human-robot interaction,\u201d June 2006, arXiv:2006.16732 [cs]."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_049","unstructured":"M. Kim\n, \nK. C. Kang\n, and \nH. Lee\n, \u201cFormal verification of robot movements \u2013 a case study on home service robot SHR100,\u201d in Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp. 4739\u20134744, Apr. 2005."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_050","unstructured":"L. Lestingi\n and \nS. Longoni\n, HRC-Team: A model-driven approach to formal verification and deployment of collaborative robotic applications, PhD thesis, Politecnico di Milano, 2017."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_051","doi-asserted-by":"crossref","unstructured":"A. G. Billard\n, \nS. Calinon\n, and \nR. Dillman\n, \u201cLearning from humans,\u201d in Springer Handbook of Robotics, \nB. Siciliano\n and \nO. Khatib\n, Eds., Cham: Springer, 2016, pp. 1995\u20132014.","DOI":"10.1007\/978-3-319-32552-1_74"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_052","doi-asserted-by":"crossref","unstructured":"M. Mara\n, \nM. Appel\n, \nH. Ogawa\n, \nC. Lindinger\n, \nE. Ogawa\n, \nH. Ishiguro\n, et al., \u201cTell me your story, robot: introducing an android as fiction character leads to higher perceived usefulness and adoption intention,\u201d in Proceedings of the 8th ACM\/IEE International Conference on Human\u2013Robot Interaction, New York, NYL: IEEE Press, 2013, pp. 193\u2013194.","DOI":"10.1109\/HRI.2013.6483567"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_053","doi-asserted-by":"crossref","unstructured":"A. Rosenthal-von der P\u00fctten\n, \nC. Stramann\n, and \nM. Mara\n, \u201cA long time ago in a galaxy far, far away... the effects of narration and appearance on the perception of robots,\u201d in 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Piscataway, NJ: IEEE Press, 2017, pp. 1169\u20131174.","DOI":"10.1109\/ROMAN.2017.8172452"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_054","doi-asserted-by":"crossref","unstructured":"P. Bucci\n, \nL. Zhang\n, \nX. L. Cang\n, and \nK. E. MacLean\n, \u201cIs it happy? behavioural and narrative frame complexity impact perceptions of a simple furry robot\u2019s emotions,\u201d in CHI \u201918: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, \nP. Bucci\n, \nL. Zhang\n, \nX. L. Cang\n, and \nK. E. MacLean\n, Eds., Association for Computing Machinery, New York, NY, USA, 2018, pp. 1\u201311.","DOI":"10.1145\/3173574.3174083"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_055","doi-asserted-by":"crossref","unstructured":"J. Banks\n, \u201cOptimus primed: Media cultivation of robot mental models and social judgments,\u201d Front. Robot. AI, vol. 7, art. 62, 2020.","DOI":"10.3389\/frobt.2020.00062"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_056","doi-asserted-by":"crossref","unstructured":"C. Dindler\n and \nO. S. Iversen\n, \u201cFictional inquiry-design collaboration in a shared narrative space,\u201d CoDesign, vol. 3, no. 4, pp. 213\u2013234, 2007.","DOI":"10.1080\/15710880701500187"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_057","doi-asserted-by":"crossref","unstructured":"D. S. Syrdal\n, \nK. Dautenhahn\n, \nK. L. Koay\n, and \nW. C. Ho\n, \u201cViews from within a narrative: Evaluating long-term human\u2013robot interaction in a naturalistic environment using open-ended scenarios,\u201d Cognit. Comput., vol. 6, no. 4, pp. 741\u2013759, 2014.","DOI":"10.1007\/s12559-014-9284-x"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_058","doi-asserted-by":"crossref","unstructured":"H. Rex Hartson\n, \u201cHuman\u2013computer interaction: Interdisciplinary roots and trends,\u201d J. Sys. Softw., vol. 43, no. 2, pp. 103\u2013118, 1998.","DOI":"10.1016\/S0164-1212(98)10026-2"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_059","doi-asserted-by":"crossref","unstructured":"A. Cooper\n, \u201cThe Inmates are Running the Asylum, Indianapoli\n, IN, USA: Macmillan Publishing Co., Inc., 1999.","DOI":"10.1007\/978-3-322-99786-9_1"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_060","doi-asserted-by":"crossref","unstructured":"I. Duque\n, \nK. Dautenhahn\n, \nK. L. Koay\n, \nL. Willcock\n, and \nB. Christianson\n, \u201cA different approach of using personas in human\u2013robot interaction: Integrating personas as computational models to modify robot companions\u2019 behaviour,\u201d in 2013 IEEE RO-MAN, 2013, pp. 424\u2013429.","DOI":"10.1109\/ROMAN.2013.6628516"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_061","doi-asserted-by":"crossref","unstructured":"T. F. dos Santos\n, \nD. G. de Castro\n, \nA. A. Masiero\n, and \nP. T. Aquino Junior\n, \u201cBehavioral persona for human\u2013robot interaction: a study based on pet robot,\u201d in Human-Computer Interaction. Advanced Interaction Modalities and Techniques, HCI 2014, \nM. Kurosu\n, Ed., Lecture Notes in Computer Science, vol. 8511, Springer, Cham, 2014, pp. 687\u2013696.","DOI":"10.1007\/978-3-319-07230-2_65"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_062","unstructured":"J. Brooke\n, \u201cSUS: a retrospective,\u201d Journal of Usability Studies, vol. 8, no. 2, pp. 29\u201340, 2013."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_063","doi-asserted-by":"crossref","unstructured":"J. Cohen\n, Statistical Power Analysis for the Behavioral Sciences, United States: Elsevier Science, 2013.","DOI":"10.4324\/9780203771587"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_064","unstructured":"R. Rosenthal\n, \u201cParametric measures of effect size,\u201d in The Handbook of Research Synthesis, \nH. Cooper\n and \nL. Hedges\n, Eds., New York: Russell Sage Foundation, 1994, chapter 16, pp. 231\u2013244."},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_065","doi-asserted-by":"crossref","unstructured":"F. Corno\n, \nL. De Russis\n, and \nA. Monge Roffarello\n, \u201cEmpowering end users in debugging trigger-action rules,\u201d in Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI \u201919, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1\u201313.","DOI":"10.1145\/3290605.3300618"},{"key":"2022020408211295802_j_pjbr-2021-0028_ref_066","doi-asserted-by":"crossref","unstructured":"J. Good\n and \nK. Howland\n, \u201cProgramming language, natural language? Supporting the diverse computational activities of novice programmers,\u201d J. Visual Lang. Comput., vol. 39, pp. 78\u201392, 2017.","DOI":"10.1016\/j.jvlc.2016.10.008"}],"container-title":["Paladyn, Journal of Behavioral Robotics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/pjbr-2021-0028\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/pjbr-2021-0028\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T08:22:14Z","timestamp":1643962934000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/pjbr-2021-0028\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,1]]},"references-count":66,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,2,10]]},"published-print":{"date-parts":[[2021,2,10]]}},"alternative-id":["10.1515\/pjbr-2021-0028"],"URL":"https:\/\/doi.org\/10.1515\/pjbr-2021-0028","relation":{},"ISSN":["2081-4836"],"issn-type":[{"value":"2081-4836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,1]]}}}