{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T05:55:33Z","timestamp":1763358933096,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T00:00:00Z","timestamp":1689033600000},"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":[[2023,7,11]]},"DOI":"10.1145\/3597512.3599719","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T22:21:30Z","timestamp":1688595690000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5031-8813","authenticated-orcid":false,"given":"Michael","family":"Akintunde","sequence":"first","affiliation":[{"name":"King's College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2096-6182","authenticated-orcid":false,"given":"Victoria","family":"Young","sequence":"additional","affiliation":[{"name":"King's College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4468-6193","authenticated-orcid":false,"given":"Vahid","family":"Yazdanpanah","sequence":"additional","affiliation":[{"name":"University of Southampton, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0508-3066","authenticated-orcid":false,"given":"Asieh","family":"Salehi Fathabadi","sequence":"additional","affiliation":[{"name":"University of Southampton, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8112-0631","authenticated-orcid":false,"given":"Pauline","family":"Leonard","sequence":"additional","affiliation":[{"name":"University of Southampton, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4642-5373","authenticated-orcid":false,"given":"Michael","family":"Butler","sequence":"additional","affiliation":[{"name":"University of Southampton, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3494-120X","authenticated-orcid":false,"given":"Luc","family":"Moreau","sequence":"additional","affiliation":[{"name":"King's College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2020\/3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-021-09529-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Alberto\u00a0F Alesina and Eliana La\u00a0Ferrara. 2000. The determinants of trust.","DOI":"10.3386\/w7621"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.22594\/10.22594\/dau.19-841.28.01","article-title":"Technology Trust: System Information Impact on Autonomous Systems Adoption in High-Risk Applications","volume":"28","author":"Anderson G","year":"2021","unstructured":"Michael\u00a0G Anderson and Johnathan\u00a0C Mun. 2021. Technology Trust: System Information Impact on Autonomous Systems Adoption in High-Risk Applications. Defense Acquisition Research Journal: A Publication of the Defense Acquisition University 28, 1 (2021).","journal-title":"Defense Acquisition Research Journal: A Publication of the Defense Acquisition University"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00011527"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082625"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-010-9065-3"},{"key":"e_1_3_2_1_9_1","volume-title":"Bounded model checking.Handbook of satisfiability 185, 99","author":"Biere Armin","year":"2009","unstructured":"Armin Biere, Alessandro Cimatti, Edmund\u00a0M Clarke, Ofer Strichman, and Yunshan Zhu. 2009. Bounded model checking.Handbook of satisfiability 185, 99 (2009), 457\u2013481."},{"key":"e_1_3_2_1_10_1","volume-title":"26th International symposium on temporal representation and reasoning (TIME","author":"Brunello Andrea","year":"2019","unstructured":"Andrea Brunello, Angelo Montanari, and Mark Reynolds. 2019. Synthesis of LTL formulas from natural language texts: State of the art and research directions. In 26th International symposium on temporal representation and reasoning (TIME 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 17:1\u201317:19."},{"key":"e_1_3_2_1_11_1","volume-title":"Relations between work group characteristics and effectiveness: Implications for designing effective work groups. Personnel psychology 46, 4","author":"Campion A","year":"1993","unstructured":"Michael\u00a0A Campion, Gina\u00a0J Medsker, and A\u00a0Catherine Higgs. 1993. Relations between work group characteristics and effectiveness: Implications for designing effective work groups. Personnel psychology 46, 4 (1993), 823\u2013847."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278721.3278740"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"A. Cimatti E. Clarke E. Giunchiglia F. Giunchiglia M. Pistore M. Roveri R. Sebastiani and A. Tacchella. 2002. NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In Computer Aided Verification. Springer 359\u2013364.","DOI":"10.1007\/3-540-45657-0_29"},{"volume-title":"LASER Summer School on Software Engineering","author":"Clarke M","key":"e_1_3_2_1_14_1","unstructured":"Edmund\u00a0M Clarke, William Klieber, Milo\u0161 Nov\u00e1\u010dek, and Paolo Zuliani. 2011. Model checking and the state explosion problem. In LASER Summer School on Software Engineering. Springer, 1\u201330."},{"volume-title":"Trust in technology: A socio-technical perspective. Vol.\u00a036","author":"Clarke Karen","key":"e_1_3_2_1_15_1","unstructured":"Karen Clarke, Gillian Hardstone, Mark Rouncefield, and Ian Sommerville. 2006. Trust in technology: A socio-technical perspective. Vol.\u00a036. Springer Science & Business Media."},{"volume-title":"Safety Verification of Neural Network Controlled Systems. In 2021 51st Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). 47\u201354","author":"Clavi\u00e9re A.","key":"e_1_3_2_1_16_1","unstructured":"A. Clavi\u00e9re, E. Asselin, C. Garion, and C. Pagetti. 2021. Safety Verification of Neural Network Controlled Systems. In 2021 51st Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). 47\u201354."},{"key":"e_1_3_2_1_17_1","volume-title":"trustworthiness, and trust propensity: a meta-analytic test of their unique relationships with risk taking and job performance.Journal of applied psychology 92, 4","author":"Colquitt A","year":"2007","unstructured":"Jason\u00a0A Colquitt, Brent\u00a0A Scott, and Jeffery\u00a0A LePine. 2007. Trust, trustworthiness, and trust propensity: a meta-analytic test of their unique relationships with risk taking and job performance.Journal of applied psychology 92, 4 (2007), 909."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-49183-3_11"},{"key":"e_1_3_2_1_19_1","volume-title":"Augmenting team cognition in human-automation teams performing in complex operational environments. Aviation, space, and environmental medicine 78, 5","author":"Cuevas M","year":"2007","unstructured":"Haydee\u00a0M Cuevas, Stephen\u00a0M Fiore, Barrett\u00a0S Caldwell, and Laura Strater. 2007. Augmenting team cognition in human-automation teams performing in complex operational environments. Aviation, space, and environmental medicine 78, 5 (2007), B63\u2013B70."},{"key":"e_1_3_2_1_20_1","volume-title":"Models of anticipation within the responsible research and innovation framework: The two RRI approaches and challenge of human rights. NanoEthics 13, 1","author":"Daniele D.","year":"2019","unstructured":"D. Daniele. 2019. Models of anticipation within the responsible research and innovation framework: The two RRI approaches and challenge of human rights. NanoEthics 13, 1 (2019)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2018.2877482"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2016.11.003"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3389\/fcomm.2019.00050"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1177\/1541931215591275"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2015.11.012"},{"key":"e_1_3_2_1_26_1","volume-title":"Using Rodin and BMotionStudio for Public Engagement. In Developer Workshop","author":"Dghaym Dana","year":"2016","unstructured":"Dana Dghaym, Asieh Salehi, and Colin Snook. 2016. Using Rodin and BMotionStudio for Public Engagement. In Developer Workshop, 2016. 23."},{"key":"e_1_3_2_1_27_1","volume-title":"The effects of interpersonal trust on work group performance.Journal of applied psychology 84, 3","author":"Dirks T","year":"1999","unstructured":"Kurt\u00a0T Dirks. 1999. The effects of interpersonal trust on work group performance.Journal of applied psychology 84, 3 (1999), 445."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06516-3_2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"N. Drawel J. Bentahar and E. Shakshuki. 2017. Reasoning about Trust and Time in a System of Agents. Procedia Computer Science 109 (12 2017) 632\u2013639.","DOI":"10.1016\/j.procs.2017.05.369"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111383"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1071-5819(03)00038-7"},{"volume-title":"Formal Models and Semantics","author":"Emerson Allen","key":"e_1_3_2_1_32_1","unstructured":"E.\u00a0Allen Emerson. 1990. Temporal and Modal Logic. In Formal Models and Semantics. Elsevier, 995\u20131072."},{"key":"e_1_3_2_1_33_1","volume-title":"Level of automation effects on performance, situation awareness and workload in a dynamic control task.Ergonomics 42, 3","author":"Endsley R.","year":"1999","unstructured":"M.\u00a0R. Endsley and D.\u00a0B. Kaber. 1999. Level of automation effects on performance, situation awareness and workload in a dynamic control task.Ergonomics 42, 3 (1999), 462\u201392."},{"key":"e_1_3_2_1_34_1","volume-title":"Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. In HHAI2022: Augmenting Human Intellect","author":"Erdogan Emre","year":"2022","unstructured":"Emre Erdogan, Frank Dignum, Rineke Verbrugge, and P\u0131nar Yolum. 2022. Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. In HHAI2022: Augmenting Human Intellect. IOS Press, 199\u2013211."},{"volume-title":"Proceedings of the 9th International Conference on Computer Aided Verification (CAV\u201997)","author":"Graf S.","key":"e_1_3_2_1_35_1","unstructured":"S. Graf and H. Sa\u00efdi. 1997. Construction of abstract state graphs with PVS. In Proceedings of the 9th International Conference on Computer Aided Verification (CAV\u201997). Springer Berlin Heidelberg, 72\u201383."},{"key":"e_1_3_2_1_36_1","volume-title":"Culture, Media & Sport and Department for Business, Energy & Industrial Strategy. Part of the Industrial Strategy UK and the Commonwealth","author":"Hall Wendy","year":"2017","unstructured":"Wendy Hall and J\u00e9r\u00f4me Pesenti. 2017. Growing the artificial intelligence industry in the UK. Department for Digital, Culture, Media & Sport and Department for Business, Energy & Industrial Strategy. Part of the Industrial Strategy UK and the Commonwealth (2017)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1177\/0018720814547570"},{"key":"e_1_3_2_1_38_1","unstructured":"R.\u00a0R. Hoffman S. T.Mueller G. Klein and J. Litman. 2019. Metrics for Explainable AI: Challenges and Prospects. arxiv:1812.04608\u00a0[cs.AI]"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS49788.2021.9551153"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3329123"},{"key":"e_1_3_2_1_41_1","unstructured":"Agnieszka Hynnekleiv and Margareta L\u00fctzh\u00f6ft. 2021. Designing for trustworthiness training for trust. An overview of trust issues in human autonomy teaming."},{"volume-title":"In Proceedings of the 39th Digital Avionics Systems Conference (DASC20)","author":"Irfan A.","key":"e_1_3_2_1_42_1","unstructured":"A. Irfan, K.\u00a0D. Julian, H. Wu, C. Barrett, M.\u00a0J. Kochenderfer, B. Meng, and J. Lopez. 2020. Towards verification of neural networks for small unmanned aircraft collision avoidance. In In Proceedings of the 39th Digital Avionics Systems Conference (DASC20). IEEE, 1\u2013\u201310."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629559"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21565-1_32"},{"key":"e_1_3_2_1_45_1","volume-title":"The effects of level of automation and adaptive automation on human performance, situation awareness and workload in a dynamic control task. Theoretical issues in ergonomics science 5, 2","author":"Kaber B","year":"2004","unstructured":"David\u00a0B Kaber and Mica\u00a0R Endsley. 2004. The effects of level of automation and adaptive automation on human performance, situation awareness and workload in a dynamic control task. Theoretical issues in ergonomics science 5, 2 (2004), 113\u2013153."},{"key":"e_1_3_2_1_46_1","volume-title":"Autonomous emergency braking systems adapted to snowy road conditions improve drivers","author":"Koglbauer Ioana","year":"2018","unstructured":"Ioana Koglbauer, J\u00fcrgen Holzinger, Arno Eichberger, and Cornelia Lex. 2018. Autonomous emergency braking systems adapted to snowy road conditions improve drivers\u2019 perceived safety and trust. Traffic injury prevention 19, 3 (2018), 332\u2013337."},{"key":"e_1_3_2_1_47_1","volume-title":"Measurement of trust in automation: A narrative review and reference guide. Frontiers in Psychology 12","author":"Kohn C","year":"2021","unstructured":"Spencer\u00a0C Kohn, Ewart\u00a0J De\u00a0Visser, Eva Wiese, Yi-Ching Lee, and Tyler\u00a0H Shaw. 2021. Measurement of trust in automation: A narrative review and reference guide. Frontiers in Psychology 12 (2021)."},{"volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV\u201911)","author":"Kwiatkowska M.","key":"e_1_3_2_1_48_1","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV\u201911)(LNCS, Vol.\u00a06806), G.\u00a0Gopalakrishnan and S.\u00a0Qadeer (Eds.). Springer, 585\u2013591."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_17"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1080\/00140139208967392"},{"key":"e_1_3_2_1_51_1","volume-title":"self-confidence, and operators","author":"Lee D","year":"1994","unstructured":"John\u00a0D Lee and Neville Moray. 1994. Trust, self-confidence, and operators\u2019 adaptation to automation. International journal of human-computer studies 40, 1 (1994), 153\u2013184."},{"key":"e_1_3_2_1_52_1","volume-title":"Trust in automation: Designing for appropriate reliance. Human factors 46, 1","author":"Lee D","year":"2004","unstructured":"John\u00a0D Lee and Katrina\u00a0A See. 2004. Trust in automation: Designing for appropriate reliance. Human factors 46, 1 (2004), 50\u201380."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0378-x"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1080\/14639220500337708"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.2307\/258792"},{"key":"e_1_3_2_1_56_1","volume-title":"Teaming with a synthetic teammate: Insights into human-autonomy teaming. Human factors 60, 2","author":"McNeese J","year":"2018","unstructured":"Nathan\u00a0J McNeese, Mustafa Demir, Nancy\u00a0J Cooke, and Christopher Myers. 2018. Teaming with a synthetic teammate: Insights into human-autonomy teaming. Human factors 60, 2 (2018), 262\u2013273."},{"volume-title":"Micro-and nanotechnology sensors, systems, and applications IX, Vol.\u00a010194","author":"Metcalfe JS","key":"e_1_3_2_1_57_1","unstructured":"JS Metcalfe, AR Marathe, B Haynes, VJ Paul, GM Gremillion, K Drnec, C Atwater, JR Estepp, JR Lukos, EC Carter, 2017. Building a framework to manage trust in automation. In Micro-and nanotechnology sensors, systems, and applications IX, Vol.\u00a010194. SPIE, 351\u2013361."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-019-0114-4"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1080\/00140139408964957"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1080\/00140139608964474"},{"key":"e_1_3_2_1_61_1","volume-title":"Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems. 1706\u20131710","author":"Murukannaiah K","year":"2020","unstructured":"Pradeep\u00a0K Murukannaiah, Nirav Ajmeri, Catholijn\u00a0M Jonker, and Munindar\u00a0P Singh. 2020. New foundations of ethical multiagent systems. In Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems. 1706\u20131710."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS48030.2020.9153618"},{"key":"e_1_3_2_1_63_1","volume-title":"Engineering, and Medicine","author":"National Academies of Sciences","year":"2022","unstructured":"National Academies of Sciences, Engineering, and Medicine. 2022. Human-AI Teaming: State-of-the-Art and Research Needs. The National Academies Press."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1177\/0018720813501549"},{"key":"e_1_3_2_1_65_1","volume-title":"Human\u2013autonomy teaming: A review and analysis of the empirical literature. Human factors 64, 5","author":"O\u2019Neill Thomas","year":"2022","unstructured":"Thomas O\u2019Neill, Nathan McNeese, Amy Barron, and Beau Schelble. 2022. Human\u2013autonomy teaming: A review and analysis of the empirical literature. Human factors 64, 5 (2022), 904\u2013938."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1080\/001401300409125"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327108ijap0301_1"},{"key":"e_1_3_2_1_68_1","volume-title":"Humans and automation: Use, misuse, disuse, abuse. Human factors 39, 2","author":"Parasuraman Raja","year":"1997","unstructured":"Raja Parasuraman and Victor Riley. 1997. Humans and automation: Use, misuse, disuse, abuse. Human factors 39, 2 (1997), 230\u2013253."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/3468.844354"},{"key":"e_1_3_2_1_70_1","volume-title":"STAST 2021","author":"E.","year":"2021","unstructured":"Simon\u00a0E. Parkin and Luca Vigan\u00f2 (Eds.). 2022. Socio-Technical Aspects in Security - 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers. Lecture Notes in Computer Science, Vol.\u00a013176. Springer."},{"key":"e_1_3_2_1_71_1","volume-title":"ECIAIR 2019 European Conference on the Impact of Artificial Intelligence and Robotics, Oxford: UK, Vol.\u00a0246","author":"Patel Menisha","year":"2019","unstructured":"Menisha Patel, Helena Webb, Marina Jirotka, Alan Davoust, Ross Gales, Michael Rovatsos, and Ansgar Koene. 2019. Harnessing interdisciplinarity to promote the ethical design of AI systems. In ECIAIR 2019 European Conference on the Impact of Artificial Intelligence and Robotics, Oxford: UK, Vol.\u00a0246."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1093\/geroni\/igab046.2485"},{"key":"e_1_3_2_1_73_1","volume-title":"Trustworthy human-AI partnerships. iScience 24, 8","author":"Ramchurn D.","year":"2021","unstructured":"Sarvapali\u00a0D. Ramchurn, Sebastian Stein, and Nicholas\u00a0R. Jennings. 2021. Trustworthy human-AI partnerships. iScience 24, 8 (2021), 102891."},{"key":"e_1_3_2_1_74_1","first-page":"1","article-title":"Designing AI systems with human-machine teams","volume":"61","author":"Saenz Maria\u00a0Jesus","year":"2020","unstructured":"Maria\u00a0Jesus Saenz, Elena Revilla, and Cristina Sim\u00f3n. 2020. Designing AI systems with human-machine teams. MIT Sloan Management Review 61, 3 (2020), 1\u20135.","journal-title":"MIT Sloan Management Review"},{"key":"e_1_3_2_1_75_1","unstructured":"Eduardo Salas Terry\u00a0L Dickinson Sharolyn\u00a0A Converse and Scott\u00a0I Tannenbaum. 1992. Toward an understanding of team performance and training. (1992)."},{"volume-title":"Trust in Military Teams","author":"Salmon M","key":"e_1_3_2_1_76_1","unstructured":"Paul\u00a0M Salmon, Neville\u00a0A Stanton, Guy Walker, Daniel Jenkins, Laura Rafferty, and Kirsten Revell. 2018. user Trust in new battle Management Technology: The effect of Mistrust on situation awareness. In Trust in Military Teams. CRC Press, 183\u2013195."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.4049866"},{"key":"e_1_3_2_1_78_1","volume-title":"Human-robot interaction: Conceptualising trust in frontline teams through LEGO\u00ae Serious Play\u00ae. Tourism management perspectives 35","author":"Simon Olga","year":"2020","unstructured":"Olga Simon, Barbara Neuhofer, and Roman Egger. 2020. Human-robot interaction: Conceptualising trust in frontline teams through LEGO\u00ae Serious Play\u00ae. Tourism management perspectives 35 (2020), 100692."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2542182.2542203"},{"key":"e_1_3_2_1_80_1","volume-title":"The IASTED International Conference on Software Engineering - SE2008 (12\/02\/08 - 14\/02\/08)","author":"Snook Colin","year":"2008","unstructured":"Colin Snook and Michael Butler. 2008. UML-B and Event-B: an integration of languages and tools. In The IASTED International Conference on Software Engineering - SE2008 (12\/02\/08 - 14\/02\/08)."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/CISTI.2014.6876935"},{"volume-title":"Trust in military teams","author":"Stanton Neville","key":"e_1_3_2_1_82_1","unstructured":"Neville Stanton. 2011. Trust in military teams. Ashgate Publishing, Ltd."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_1"},{"volume-title":"Command and control: the sociotechnical perspective","author":"Walker H","key":"e_1_3_2_1_84_1","unstructured":"Guy\u00a0H Walker, Neville\u00a0A Stanton, and Daniel\u00a0P Jenkins. 2017. Command and control: the sociotechnical perspective. CRC Press."},{"key":"e_1_3_2_1_85_1","volume-title":"International workshop on engineering multi-agent systems. Springer, 3\u201320","author":"Winikoff Michael","year":"2017","unstructured":"Michael Winikoff. 2017. Towards trusting autonomous systems. In International workshop on engineering multi-agent systems. Springer, 3\u201320."},{"volume-title":"Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence (UAI38). Proceedings of Machine Learning Research, 2170\u20132180","author":"Yan R.","key":"e_1_3_2_1_86_1","unstructured":"R. Yan, G. Santos, X. Duan, D. Parker, and M. Kwiatkowska. 2022. Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. In Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence (UAI38). Proceedings of Machine Learning Research, 2170\u20132180."}],"event":{"name":"TAS '23: First International Symposium on Trustworthy Autonomous Systems","acronym":"TAS '23","location":"Edinburgh United Kingdom"},"container-title":["Proceedings of the First International Symposium on Trustworthy Autonomous Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597512.3599719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597512.3599719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:12Z","timestamp":1750287012000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597512.3599719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,11]]},"references-count":86,"alternative-id":["10.1145\/3597512.3599719","10.1145\/3597512"],"URL":"https:\/\/doi.org\/10.1145\/3597512.3599719","relation":{},"subject":[],"published":{"date-parts":[[2023,7,11]]},"assertion":[{"value":"2023-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}