Verifying BDI Agents in Dynamic Environments

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, (Accepted for Publication)

[img] Text
269822.pdf - Accepted Version
Restricted to Repository staff only

670kB

Publisher's URL: http://ksiresearch.org/seke/seke22.html

Abstract

No abstract available.

Item Type:Conference Proceedings
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Xu, Dr Mengwei and Sevegnani, Dr Michele and Archibald, Dr Blair
Authors: Archibald, B., Calder, M., Sevegnani, M., and Xu, M.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
172422Science of Sensor System Software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1Computing Science