Michael Akintunde

According to our database, Michael Akintunde authored at least 11 papers between 2018 and 2024.

Collaborative distances:

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

2024

More Than Trust: Compliance in Instantaneous Human-robot Interactions.

Sachini S. Weerawardhana, Michael E. Akintunde, Peta Masters, Aaron P. J. Roberts, Genovefa Kefalidou, Yang Lu, Gerard Canal, Nicole Lehchevska, Elisabeth Halvorsen, Wei Wei, Luc Moreau

Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024

Exploring the Dynamic Nature of Trust Using Interventions in a Human-AI Collaborative Task.

Sachini S. Weerawardhana, Michael Akintunde, Luc Moreau

Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

Formal Specification of Actual Trust in Multiagent Systems.

Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau

Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

Actual Trust in Multiagent Systems.

Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

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

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

2020

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

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

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

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