Reachability Analysis for Neural Agent-Environment Systems M Akintunde, A Lomuscio, L Maganti, E Pirovano Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 78 | 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 | 70 | 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 | 42 | 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 | 23 | 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 |
Formal Specification of Actual Trust in Multiagent Systems M Akintunde, V Yazdanpanah, A Salehi, C Cirstea, M Dastani, L Moreau The Third International Conference on Hybrid Human-Artificial Intelligence, 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 |
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 |