11 papers authored by members of the Department of Computing have been accepted at AI conference

11 papers authored by members of the Department of Computing have been accepted at the 37th AAAI Conference on Artificial Intelligence (AAAI23) and the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023).

37th AAAI Conference on Artificial Intelligence 2023:

P. Henriksen, A. Lomuscio; Robust Training of Neural Networks against Bias Field Perturbations (Main Track).

J. Lan, Y. Zheng, A. Lomuscio. Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification (Main Track).

J. Lan, B. Brueckner, A. Lomuscio. A Semidefinite Relaxation based Branch-and-Bound Method for Tight Neural Network Verification (Main Track).

J. Jiang, F. Leofante, A. Rago, F. Toni; Formalising the Robustness of
Counterfactual Explanations for Neural Networks. (Track on Safe and
Robust AI)

N. Potyka, X. Yin, Toni; Explaining Random Forests using Bipolar Argumentation and Markov Networks (Main Track).

F. Belardinelli, I. Boureanu, V. Malvone, F. Rajaona; Automatically Verifying Expressive Epistemic Properties of Programs (Main Track).

A. Lomuscio and E. Pirovano. A Counter Abstraction Technique for Verifying Properties of Probabilistic Swarm Systems (Journal Track).

22nd International Conference on Autonomous Agents and Multiagent Systems 2023:

Hussain, F. Belardinelli G. Piliouras; Asymptotic Convergence and Performance of Multi-Agent Q-learning Dynamics (Main Track).

Leofante and A. Lomuscio. Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems (Extended Abstract).

Hosseini and A. Lomuscio. Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments (Extended Abstract).

R. Ward, F. Toni, F. Belardinelli; Defining Deception in Structural Causal Games (Extended Abstract).