<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>The AAAI-2023 Workshop on Artificial Intelligence Safety (SafeAI-2023)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Gabriel Pedroza</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Xiaowei Huang</string-name>
          <email>xiaowei.huang@liverpool.ac.uk</email>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Xin Cynthia Chen</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Andreas Theodorou</string-name>
          <email>andreas.theodorou@umu.se</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>José Hernández-Orallo</string-name>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mauricio Castillo-Effen</string-name>
          <email>mauricio.castillo-effen@lmco.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Richard Mallah</string-name>
          <email>richard@futureoflife.org</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>John McDermid</string-name>
          <email>john.mcdermid@york.ac.uk</email>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>CEA LIST</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Université Paris-Saclay</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>France gabriel.pedroza@cea.fr</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>ETH Zurich</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Switzerland chexin@ethz.ch</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Future of Life Institute</institution>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Lockheed Martin, Advanced Technology Laboratories</institution>
          ,
          <addr-line>Arlington, VA</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Umeå University</institution>
          ,
          <country country="SE">Sweden</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Universitat Politècnica de València</institution>
          ,
          <country country="ES">Spain</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>University of Liverpool</institution>
          ,
          <addr-line>Liverpool</addr-line>
          ,
          <country country="UK">United Kingdom</country>
        </aff>
        <aff id="aff5">
          <label>5</label>
          <institution>University of York</institution>
          ,
          <country country="UK">United Kingdom</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>We summarize the AAAI-2023 Workshop on Artificial Intelligence Safety (SafeAI-2023)1, held at the 37th AAAI Conference on Artificial Intelligence on February 13-14, 2023 in Washington DC, USA.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>Safety in Artificial Intelligence (AI) is increasingly
becoming a substantial part of AI research, deeply
intertwined with the ethical, legal and societal issues
associated with AI systems. Even if AI safety is considered
a design principle, there are varying levels of safety,
diverse sets of ethical standards and values, and varying
degrees of liability, for which we need to deal with
trade-offs or alternative solutions. These choices can only
be analyzed holistically if we integrate technological and
1 Workshop series website: https://safeai.webs.upv.es/
Copyright © 2023 for this paper by its authors. Use permitted under
Creative Commons License Attribution 4.0 International (CC
BY 4.0).
ethical perspectives into the engineering problem, and
consider both the theoretical and practical challenges for
AI safety. This view must cover a wide range of AI
paradigms, considering systems that are specific for a
particular application, and also those that are more general,
which may lead to unanticipated risks. We must bridge the
short-term with the long-term perspectives, idealistic goals
with pragmatic solutions, operational with policy issues,
and industry with academia, in order to build, evaluate,
deploy, operate and maintain AI-based systems that are
truly safe.</p>
      <p>The AAAI-2023 Workshop on Artificial Intelligence
Safety (SafeAI-2023) seeks to explore new ideas in AI
safety with a particular focus on addressing the following
questions:
●
●</p>
      <p>What is the status of existing approaches for ensuring
AI and Machine Learning (ML) safety and what are the
gaps?
How can we engineer trustworthy AI software
architectures?
● How can we make AI-based systems more ethically
aligned?
● What safety engineering considerations are required to
develop safe human-machine interaction?
● What AI safety considerations and experiences are
relevant from industry?
● How can we characterize or evaluate AI systems
according to their potential risks and vulnerabilities?
● How can we develop solid technical visions and new
paradigms about AI safety?
● How do metrics of capability and generality, and
trade-offs with performance, affect safety?
These are the main topics of the series of AISafety
workshops. They aim to achieve a holistic view of AI and
safety engineering, taking ethical and legal issues into
account, in order to build trustworthy intelligent
autonomous machines. Keeping those topics in our scope,
we held the fifth edition of SafeAI, in Washington DC at
the 37st AAAI Conference on Artificial Intelligence on
February 13-14, 2023. The details of the program are as
follows.</p>
    </sec>
    <sec id="sec-2">
      <title>Program</title>
      <p>The Program Committee (PC) received 48 submissions.
Each paper was peer-reviewed by at least two PC
members, by following a single-blind reviewing process.
The committee decided to accept 17 full papers and 11
poster presentations, resulting in a full-paper acceptance
rate of 35% and an overall acceptance rate of 58%.</p>
      <p>The SafeAI-2023 program was organized in nine
thematic sessions, two (invited) special panel discussions
and two (invited) talks. The special panel discussions were
given flexibility to structure its program and format.</p>
      <p>The thematic sessions followed a highly interactive
format. They were structured into short pitches and a group
debate panel slot to discuss both individual paper
contributions and shared topic issues. Three specific roles
were part of this format: session chairs, presenters and
session discussants.
● Session Chairs introduced sessions and participants.</p>
      <p>The Chair moderated sessions and plenary discussions,
monitored time, and moderated questions and
discussions from the audience.
● Presenters gave a 10-minute paper talk and participated
in the debate slot. The short presentations are given 5
minutes for each paper.
● Session Discussants gave a critical review of the
session papers, and participated in the plenary debate.
Presentations and papers were grouped by topic as follows:</p>
      <sec id="sec-2-1">
        <title>Session 1: AI/ML Learning, Explainability, Accuracy and Policy Alignment</title>
        <p>● Active Reward Learning from Multiple Teachers, Peter
Barnett, Rachel Freedman, Justin Svegliato and Stuart
Russell
● REVEALE: Reward Verification and Learning Using
Explanations, Saaduddin Mahmud, Sandhya
Saisubramanian and Shlomo Zilberstein
● A Robust Drift Detection Algorithm with High
Accuracy and Low False Positives Rate, Maxime
Fuccellaro, Laurent Simon and Akka Zemmari</p>
      </sec>
      <sec id="sec-2-2">
        <title>Session 3: AI/ML for Safety Critical Applications:</title>
      </sec>
      <sec id="sec-2-3">
        <title>Assurance Cases and Datasets</title>
        <p>● Transfer Assurance for Machine Learning in
Autonomous Systems, Chiara Picardi, Richard Hawkins,
Colin Paterson and Ibrahim Habli
● Domain-centric ADAS Datasets, Vaclav Divis, Tobias</p>
        <p>Schuster and Marek Hruz
● Towards Developing Safety Assurance Cases for
Learning-Enabled Medical Cyber-Physical Systems,
Maryam Bagheri, Josephine Lamp, Xugui Zhou, Lu
Feng and Homa Alemzadeh</p>
      </sec>
      <sec id="sec-2-4">
        <title>Session 4 - Short Presentations: ML/DL Robustness:</title>
      </sec>
      <sec id="sec-2-5">
        <title>GAM and Attack Detection</title>
        <p>● Evaluation of GAN Architectures for Adversarial
Robustness of Convolution Classifier, Weimin Zhao,
Sanaa Alwidian and Qusay Mahmoud
● Backdoor Attack Detection in Computer Vision by
applying Matrix Factorization on the Weights of Deep
Networks, Khondoker Murad Hossain and Tim Oates</p>
      </sec>
      <sec id="sec-2-6">
        <title>Session 5 - AI Safety Assessment: Failure-Cause</title>
      </sec>
      <sec id="sec-2-7">
        <title>Analysis, Assurance, Verification</title>
        <p>● A taxonomic system for failure cause analysis of open
source AI incidents, Nikiforos Pittaras and Sean
McGregor
● Towards Safety Assurance of Uncertainty-Aware
Reinforcement Learning Agents, Felippe Schmoeller
Roza, Simon Hadwiger, Ingo Thon and Karsten
Roscher
● Formal Verification of Tree Ensembles against
Real-World Composite Geometric Perturbations,
Valency Oscar Colaco and Simin Nadjm-Tehrani</p>
      </sec>
      <sec id="sec-2-8">
        <title>Session 6: AI Robustness: Adversarial and Attacks</title>
      </sec>
      <sec id="sec-2-9">
        <title>Learning</title>
        <p>● Critically Assessing the State of the Art in CPU-based
Local Robustness Verification, Matthias König, Annelot
Bosman, Holger Hoos and Jan van Rijn
● Towards Understanding How Self-training Tolerates
Data Backdoor Poisoning, Soumyadeep Pal, Ren
Wang, Yuguang Yao and Sijia Liu
● Less is More: Data Pruning for Faster Adversarial
Training, Yize Li, Pu Zhao, Xue Lin, Bhavya Kailkhura
and Ryan Goldhahn
● Personalized Models Resistant to Malicious Attacks for
Human-centered Trusted AI, Teddy Ferdinan and Jan
Kocoń</p>
      </sec>
      <sec id="sec-2-10">
        <title>Session</title>
      </sec>
      <sec id="sec-2-11">
        <title>Learning 7: AI</title>
      </sec>
      <sec id="sec-2-12">
        <title>Robustness:</title>
      </sec>
      <sec id="sec-2-13">
        <title>Deep</title>
      </sec>
      <sec id="sec-2-14">
        <title>Reinforcement</title>
        <p>●
●
●
●</p>
        <p>Robustness with Black-Box Adversarial Attack using
Reinforcement Learning, Soumyendu Sarkar, Ashwin
Ramesh Babu, Sajad Mousavi, Vineet Gundecha,
Sahand Ghorbanpour, Alexander Shmakov, Ricardo
Luna Gutierrez, Antonio Guillen and Avisek Naug
White-Box Adversarial Policies in Deep
Reinforcement Learning, Stephen Casper, Dylan
Hadfield-Menell and Gabriel Kreiman
Bab: A novel algorithm for training clean model based
on poisoned data, Chen Chen, Hong Haibo, Xie
Mande, Jun Shao and Tao Xiang
Safe Reinforcement Learning through Phasic
Safety-Oriented Policy Optimization, Sumanta Dey,
Pallb Dasgupta and Soumyajit Dey</p>
      </sec>
      <sec id="sec-2-15">
        <title>Session 8 - Short Presentations: OoD Detection and</title>
      </sec>
      <sec id="sec-2-16">
        <title>Uncertainty for ML/DL Safety</title>
        <p>● Out-of-Distribution Detection Using Deep Neural
Network Latent Space Uncertainty, Fabio Arnez,
Ansgar Radermacher and François Terrier
● Efficient and Effective Uncertainty Quantification in
Gradient Boosting via Cyclical Gradient MCMC, Tian
Tan, Carlos Huertas and Qi Zhao
● Safety Assurance with Ensemble-based Uncertainty
Estimation and overlapping alternative Predictions in
Reinforcement Learning, Dirk Eilers, Simon Burton,
Felippe Schmoeller da Roza and Karsten Roscher</p>
      </sec>
      <sec id="sec-2-17">
        <title>Session 9 - Short Presentations: Methods and</title>
      </sec>
      <sec id="sec-2-18">
        <title>Techniques for AI/ML Safety Assessment</title>
        <p>● Towards a holistic approach for AI trustworthiness
assessment based upon aids for multi-criteria
aggregation, Juliette Mattioli, Henri Sohier, Agnes
Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka,
Afef Awadid, Zakaria Chihani and Souhaiel Khalfaoui
● A Framework Quantifying Trustworthiness of
Supervised Machine and Deep Learning Models,
Alberto Huertas Celdran, Jan Kreischer, Melike
Demirci, Joel Leupp, Pedro Miguel Sanchez, Muriel
Franco, Gerome Bovet, Gregorio Martinez Perez and
Burkhard Stiller
● Standardizing the Probabilistic Sources of Uncertainty
for the sake of Safety Deep Learning, Axel Brando,
Isabel Serra, Enrico Mezzetti, Francisco J. Cazorla and
Jaume Abella
SafeAI was pleased to have several additional inspirational
researchers as invited speakers:</p>
      </sec>
      <sec id="sec-2-19">
        <title>Distinctive Panel Discussion</title>
        <p>● Stuart Russell (UC Berkeley), Song-Chun Zhu (PKU,
THU, and BIGAI), Mark Nitzberg (UC Berkeley), On
Artificial General Intelligence and AI Alignment</p>
      </sec>
      <sec id="sec-2-20">
        <title>Special Panel Discussion</title>
        <p>● Fateh Kaakai (Thales, IRT SystemX), Souhaiel
Khalfaoui (Valeo), Augustin Lemesle (CEA), Towards
trustworthiness of AI-enabled systems: the Confiance.ai
Programme</p>
      </sec>
      <sec id="sec-2-21">
        <title>Invited Talks</title>
        <p>● Martin Rothfelder (Siemens AG), Digitization and
automation for driverless regional trains – The
safe.trAIn research project
● Vincent Conitzer (Carnegie Mellon U., U. of Oxford),
Foundations of Cooperative AI</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Acknowledgements</title>
      <p>We thank all researchers who submitted papers to
SafeAI-2023 and congratulate the authors whose papers
were selected for inclusion into the workshop program and
proceedings.</p>
      <p>We especially thank our distinguished PC members for
reviewing the submissions and providing useful feedback
to the authors:
● Huáscar Espinoza, KDT JU, Belgium
● Stuart Russell, UC Berkeley, USA
● Raja Chatila, Sorbonne University, France
● Francesca Rossi, IBM and University of Padova, USA
● Roman V. Yampolskiy, University of Louisville, USA
● Gereon Weiss, Fraunhofer IKS, Germany
● Roman Nagy, Argo AI, Germany
● Nathalie Baracaldo, IBM Research, USA
● Chokri Mraidha, CEA LIST, France
● Brent Harrison, University of Kentucky, USA
● Toshihiro Nakae, DENSO Corporation, Japan
● John Favaro, Trust-IT, Italy
● Agnes Delaborde, LNE, France
● Jonas Nilsson, NVIDIA, USA
● Leon Kester, TNO, The Netherlands
● Michael Paulitsch, Intel, Germany
● Philippa Ryan Conmy, University of York, UK
● Stefan Kugele, Technische Hochschule Ingolstadt,</p>
      <p>Germany
● Javier Ibañez-Guzman, Renault, France
● Mehrdad Saadatmand, RISE SICS, Sweden
● Alessio R. Lomuscio, Imperial College London, UK
● Jérémie Guiochet, LAAS-CNRS, France
● Sandhya Saisubramanian, University of Massachusetts</p>
      <p>Amherst, USA
● Mario Gleirscher, University of Bremen, Germany
● Chris Allsopp, Origami Labs, UK
● Vahid Behzadan, University of New Haven, USA
● Simos Gerasimou, University of York, UK
● Feng Liu, Huawei Munich Research Center, Germany
● Juliette Mattioli, Thales, France
● Brian Tse, Affiliate at University of Oxford, China
● Colin Paterson, University of York, UK
● Peter Flach, University of Bristol, UK
● Simon Fuerst, BMW Group, Germany
● Emmanuelle Escorihuela, Airbus, France
● Roel Dobbe, TU Delft, The Netherlands
● Andrea Orlandini, ISTC-CNR, Italy
● Ke Pei, Huawei, China
● Mohamed Ibn Khedher, IRT SystemX, France
● Ganesh Pai, NASA Ames Research Center, USA
● Davide Bacciu, Università di Pisa, Italy
● Rasmus Adler, Fraunhofer IESE, Germany
● Danilo Vasconcellos Vargas, Kyushu University, Japan
● Vahid Hashemi, Audi, Germany
● Umut Durak, German Aerospace Center (DLR),</p>
      <p>Germany
● Morayo Adedjouma, CEA LIST, France
● John Burden, University of Cambridge, UK
● Luciano Cavalcante Siebert, TU Delft, The Netherlands
● Timo Sämann, Valeo, Germany
● Jan Reich, Fraunhofer IESE, Germany
● Mandar Pitale, NVIDIA, USA
● Nikolaos Matragkas, CEA LIST, France
● Bowei Xi, University of Purdue, USA
● Fateh Kaakai, Thales, France</p>
      <p>Finally we thank the AAAI-2023 organization for
providing an excellent framework for SafeAI-2023.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>