Michael E. Akintunde

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Autonomous Entities

Formal Verification

Open Environments

Top Venues

Auton. Agents Multi Agent Syst.

Applicable Formal Methods for Safe Industrial Products

Publications

Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang
On Testing Ethical Autonomous Decision-Making. Applicable Formal Methods for Safe Industrial Products (2023)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR (2020)
Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS (2020)
Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano
Verification of RNN-Based Neural Agent-Environment Systems. AAAI (2019)