Our group has had a paper accepted for publication in the in the Journal of Autonomous Agents and Multi-Agent Systems:

  • M. Akintunde, E. Botoeva, P. Kouvaros and A. Lomuscio, “Formal verification of neural agents in non-deterministic environments”

More details can be found on the publications page.