Michael E. Akintunde
Michael E. Akintunde
Geverifieerd e-mailadres voor imperial.ac.uk - Homepage
Geciteerd door
Geciteerd door
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
Reachability Analysis for Neural Agent-Environment Systems
M Akintunde, A Lomuscio, L Maganti, E Pirovano
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–5