Program

Time (UTC)

Description

Keynote 1: Matthew Dwyer (University of Virginia), Distribution-aware Test Adequacy for Neural Networks

EnnCore addresses the fundamental problem of guaranteeing safety, transparency, and robustness in neural-based architectures.

Invited Talk 1: Shiri Dori-Hacohen (University of Connecticut), Quantifying Misalignment Between Agents

– The Problem of Behaviour and Preference Manipulation in AI Systems, Hal Ashton and Matija Franklin.
– IFBiD: Inference-Free Bias Detection, Ignacio Serna, Daniel DeAlcala, Aythami Morales Moreno, Julian Fierrez and Javier Ortega-Garcia.
– Blackbox Post-Processing for Multiclass Fairness, Preston Putzel and Scott Lee.

– Debate Panel – Paper Discussants: Borja G. Leon (Imperial College London), Richard Mallah (Future of Life Institute)

– A Gray Box Model for Characterizing Driver Behavior, Soyeon Jung, Ransalu Senanayake and Mykel Kochenderfer.
– Defining and Identifying the Legal Culpability of Side Effects using Causal Graphs, Hal Ashton.

– Debate Panel – Paper Discussants: Peter He (University College London), Roel Dobbe (TU Delft)

– Near-Term AI as an Existential Risk Factor, Ben Bucknall and Shiri Dori-Hacohen.
– The Dilemma Between Data Transformations and Adversarial Robustness for Time Series Application Systems, Sheila Alemany and Niki Pissinou.
– Interpretable Local Tree Surrogate Policies, John Mern, Sidhart Krishnan, Anil Yildiz, Kyle Hatch and Mykel J. Kochenderfer.

Time (UTC)

Description

Invited Talk 2: Roel Dobbe (TU Delft), A System Safety Perspective for Developing and Governing Artificial Intelligence

– Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata, Mingjun Ma, Dehui Du, Yuanhao Liu, Yanyun Wang and Yiyang Li.
– A Study on Mitigating Hard Boundaries of Decision-Tree-based Uncertainty Estimates for AI Models, Pascal Gerber, Lisa Jöckel and Michael Kläs.
– Quantifying the Importance of Latent Features in Neural Networks, Amany Alshareef, Nicolas Berthier, Sven Schewe and Xiaowei Huang.
– Maximum Likelihood Uncertainty Estimation: Robustness to Outliers, Deebul Nair, Nico Hochgeschwender and Miguel Olivares-Mendez.

– Debate Panel – Paper Discussants: Xiaowei Huang (University of Liverpool), Mauricio Castillo-Effen (Lockheed Martin)

– Oases of Cooperation: An Empirical Evaluation of Reinforcement Learning in the Iterated Prisoner’s Dilemma, Peter Barnett and John Burden.
– Leveraging Multi-task Learning for Umambiguous and Flexible Deep Neural Network Watermarking, Fangqi Li, Lei Yang, Shilin Wang and Alan Wee-Chung Liew.
– Human-in-the-loop Learning for Safe Exploration through Anomaly Prediction and Intervention, Prajit T Rajendran, Huascar Espinoza, Agnes Delaborde and Chokri Mraidha.
– Safety Aware Reinforcement Learning by Identifying Comprehensible Constraints in Expert Demonstrations, Leopold Müller, Lars Böcking and Michael Färber.

Confiance.ai is the largest initiative in Europe for developing a software platform for trustworthy AI engineering.

Invited Talk 3: Bonnie W. Johnson (Naval Postgraduate School), Safety in AI-Enabled Warfare Decision Aids

– Reinforcement Learning With Imperfect Safety Constraints, Jin Woo Ro, Gerald Lüttgen and Diedrich Wolter.
– Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding, Peter He, Borja G. Leon and Francesco Belardinelli. [Best Paper Award]
– HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning, Zikang Xiong, Ishika Agarwal and Suresh Jagannathan.
– A Game-Theoretic Perspective on Risk-Sensitive Reinforcement Learning, Mathieu Godbout, Maxime Heuillet, Sharath Chandra Raparthy, Rupali Bhati and Audrey Durand.

– Debate Panel – Paper Discussants: Ben Bucknall (Uppsala University), John Burden (University of Cambridge), Gabriel Pedroza (CEA List)

– Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems, Juliette Mattioli, Gabriel Pedroza, Souhaiel Khalfaoui and Bertrand Leroy.
– Is it all a cluster game? – Exploring Out-of-Distribution Detection based on Clustering in the Embedding Space, Poulami Sinhamahapatra, Rajat Koner, Karsten Roscher and Stephan Günnemann.
– A Practical Overview of Safety Concerns and Mitigation Methods for Visual Deep Learning Algorithms, Saeed Bakhshi Germi and Esa Rahtu.
– Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems, Michal Filipiuk and Vasu Singh.
– A Framework to Argue Quantitative Safety Targets in Assurance Cases for AI/ML Components Combining Design and Runtime Safety Measures, Michael Klaes, Lisa Jöckel, Rasmus Adler and Jan Reich.

Keynote 2: Ganesh Pai (KBR / NASA Ames Research Center), Towards Certification of Machine Learning in Aeronautical Applications

– Beyond Test Accuracy: The Effects of Model Compression on CNNs, Adrian Schwaiger, Kristian Schwienbacher and Karsten Roscher.
– Differential Assessment of Black-Box AI Agents, Rashmeet Kaur Nayyar, Pulkit Verma and Siddharth Srivastava.
– Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems, Ann-Katrin Reuel, Mark Koren, Anthony Corso and Mykel J. Kochenderfer.

– Debate Panel – Paper Discussants: Bonnie Johnson (Naval Postgraduate School), José Hernández-Orallo (Universitat Politècnica de València)

Wrap-up and Best Paper Award