Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: Article
Number of items: 2.

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)
Format: PDF

Mahala, Geeta, Kafalı, Özgur, Dam, Hoa, Ghose, Aditya, Singh, Munindar P. (2023) A normative approach for resilient multiagent systems. Autonomous Agents and Multi-Agent Systems, 37 . Article Number 46. ISSN 1387-2532. (doi:10.1007/s10458-023-09627-4) (KAR id:112673)
Format: PDF

This list was generated on Thu Jan 29 00:05:06 2026 GMT.