Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Article

Akintunde, Michael E., Botoeva, Elena, Kouvaros, Panagiotis, Lomuscio, Alessio (2021) Formal verification of neural agents in non-deterministic environments. Autonomous Agents and Multi-Agent Systems, 36 (1). Article Number 6. ISSN 1387-2532. E-ISSN 1573-7454. (doi:10.1007/s10458-021-09529-3) (KAR id:92680)

This list was generated on Sun May 19 23:35:18 2024 BST.