Michael Akintunde

According to our database, Michael Akintunde authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Implementing Responsible Research Innovation Prompts and Practice Cards in a Project Investigating Instantaneous Trust.

Sachini Situmini Weerawardhana, Justyna Lisinska, Michael Akintunde, Hugo Araújo, Genovefa Kefalidou, Elena Nichele, Yang Lu, Oli Malpass, Aaron P. J. Roberts, Ioana Sandu

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective.

Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael J. Butler, Luc Moreau

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.

Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

On Testing Ethical Autonomous Decision-Making.

Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Formal verification of neural agents in non-deterministic environments.

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio

Auton. Agents Multi Agent Syst., 2022

2019

Verification of RNN-Based Neural Agent-Environment Systems.

Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Reachability Analysis for Neural Agent-Environment Systems.

Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018