| Reachability Analysis for Neural Agent-Environment Systems M Akintunde, A Lomuscio, L Maganti, E Pirovano Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 79 | 2018 |
| Verification of RNN-based neural agent-environment systems ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6006-6013, 2019 | 71 | 2019 |
| Formal Verification of Neural Agents in Non-deterministic Environments ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio Proceedings of the 19th International Conference on Autonomous Agents and …, 2020 | 43 | 2020 |
| Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio Proceedings of the International Conference on Principles of Knowledge …, 2020 | 24 | 2020 |
| Actual Trust in Multiagent Systems M Akintunde, V Yazdanpanah, A Salehi Fathabadi, C Cirstea, M Dastani, ... International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2024 | 1 | 2024 |
| More Than Trust: Compliance in Instantaneous Human-robot Interactions S Weerawardhana, M Akintunde, P Masters, A Roberts, G Kefalidou, Y Lu, ... The 33rd IEEE International Conference on Robot and Human Interactive …, 2024 | | 2024 |
| Formal Specification of Actual Trust in Multiagent Systems M Akintunde, V Yazdanpanah, A Salehi Fathabadi, C Cirstea, M Dastani, ... HHAI 2024: Hybrid Human AI Systems for the Social Good, 22-35, 2024 | | 2024 |
| Exploring the Dynamic Nature of Trust Using Interventions in a Human-AI Collaborative Task S Weerawardhana, M Akintunde, L Moreau The third International Conference on Hybrid Human-Artificial Intelligence, 2024 | | 2024 |
| On Testing Ethical Autonomous Decision-Making ME Akintunde, M Brandão, G Jahangirova, H Menendez, MR Mousavi, ... Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to …, 2023 | | 2023 |
| Implementing Responsible Research Innovation Prompts and Practice Cards in a Project Investigating Instantaneous Trust A Roberts, G Kefalidou, H Araujo, I Sandu, J Lisinska, M Akintunde, ... University of Lincoln, 2023 | | 2023 |
| Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective M Akintunde, V Young, V Yazdanpanah, A Salehi Fathabadi, P Leonard, ... Proceedings of the First International Symposium on Trustworthy Autonomous …, 2023 | | 2023 |
| Implementing Responsible Research Innovation Prompts and Practice Cards in a Project Investigating Instantaneous Trust S Weerawardhana, J Lisinska, M Akintunde, H Araujo, G Kefalidou, ... Proceedings of the First International Symposium on Trustworthy Autonomous …, 2023 | | 2023 |
| Verification of neural systems M Akintunde Imperial College London, 2021 | | 2021 |
| Planning for CTL*-Specified Temporally Extended Goals via Model Checking ME Akintunde | | 2017 |
Alessio R LomuscioImperial College London在 imperial.ac.uk 的电子邮件经过验证
