Concepedia

Michael E. Akintunde

ME

Statistics

Publications

4

Citations

111

H-Index

4

Active since

2018

Affiliations

Imperial College London(Current)

Michael E. Akintunde is an author at Imperial College London specializing in systems engineering, computer science, and artificial intelligence.

Top concepts

EngineeringComputer ScienceSystems EngineeringArtificial IntelligenceVerificationFormal MethodsRobot LearningAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

2018–2021

4

Publications

4

Verification of RNN-Based Neural Agent-Environment Systems

Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 43 citations · Full text

Artificial Intelligence, Engineering, Verification +17

Reachability Analysis for Neural Agent-Environment Systems.

Michael E. Akintunde, Alessio Lomuscio, Lalit Maganti et al. · Principles of Knowledge Representation and Reasoning · 2018 · 33 citations

Artificial Intelligence, Reachability Analysis, Engineering +3

Formal verification of neural agents in non-deterministic environments

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros et al. · Autonomous Agents and Multi-Agent Systems · 2021 · 25 citations · Full text

Artificial Intelligence, Engineering, Reachability Problem +16

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros et al. · 2020 · 10 citations · Full text

1–4 of 4