Michael E. Akintunde
Michael E. Akintunde
Geverifieerd e-mailadres voor imperial.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
202019
Reachability Analysis for Neural Agent-Environment Systems
M Akintunde, A Lomuscio, L Maganti, E Pirovano
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
202018
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
32020
Planning for CTL*-Specified Temporally Extended Goals via Model Checking
ME Akintunde
2017
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