Michael E. Akintunde
Michael E. Akintunde
Verified email at imperial.ac.uk - Homepage
Cited by
Cited by
Reachability Analysis for Neural Agent-Environment Systems
M Akintunde, A Lomuscio, L Maganti, E Pirovano
Sixteenth International Conference on Principles of Knowledge Representation …, 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, 6006-6013, 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
Planning for CTL*-Specified Temporally Extended Goals via Model Checking
ME Akintunde
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
The system can't perform the operation now. Try again later.
Articles 1–5