| Reachability Analysis for Neural Agent-Environment Systems M Akintunde, A Lomuscio, L Maganti, E Pirovano Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 65 | 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 (01), 6006-6013, 2019 | 53 | 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 | 27 | 2020 |
| Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio Proceedings of the International Conference on Principles of Knowledge …, 2020 | 16 | 2020 |
| Verification of neural systems M Akintunde Imperial College London, 2021 | | 2021 |
| Planning for CTL*-Specified Temporally Extended Goals via Model Checking ME Akintunde | | 2017 |
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
