Browse by Journal

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

Jump to: A

Number of items: 1.

A

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 Wed May 8 22:41:19 2024 BST.