Dependable learning-enabled multiagent systems

Huang, Xiaowei ORCID: 0000-0001-6267-0366, Peng, Bei ORCID: 0000-0003-0152-3180 and Zhao, Xingyu ORCID: 0000-0002-3474-349X
(2022) Dependable learning-enabled multiagent systems. AI COMMUNICATIONS, 35 (4). pp. 407-420.

[thumbnail of AICommunication_DepMAS.pdf] Text
AICommunication_DepMAS.pdf - Author Accepted Manuscript

Download (345kB) | Preview


<jats:p>We are concerned with the construction, formal verification, and safety assurance of dependable multiagent systems. For the case where the system (agents and their environment) can be explicitly modelled, we develop formal verification methods over several logic languages, such as temporal epistemic logic and strategy logic, to reason about the knowledge and strategy of the agents. For the case where the system cannot be explicitly modelled, we study multiagent deep reinforcement learning, aiming to develop efficient and scalable learning methods for cooperative multiagent tasks. In addition to these, we develop (both formal and simulation-based) verification methods for the neural network based perception agent that is trained with supervised learning, considering its safety and robustness against attacks from an adversarial agent, and other approaches (such as explainable AI, reliability assessment, and safety argument) for the analysis and assurance of the learning components. Our ultimate objective is to combine formal methods, machine learning, and reliability engineering to not only develop dependable learning-enabled multiagent systems but also provide rigorous methods for the verification and assurance of such systems.</jats:p>

Item Type: Article
Uncontrolled Keywords: Dependability, automated verification, reinforcement learning, learning-enabled systems, multiagent systems
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 22 Aug 2022 14:42
Last Modified: 18 Jan 2023 20:47
DOI: 10.3233/AIC-220128
Related URLs: