IJCAI 2023poster1 citations
Towards Formal Verification of Neuro-symbolic Multi-agent Systems
Abstract
This paper outlines some of the key methods we developed towards the formal verification of multi- agent systems, covering both symbolic and connectionist systems. It discusses logic-based methods for the verification of unbounded multi-agent systems (i.e., systems composed of an arbitrary number of homogeneous agents, e.g., robot swarms), optimisation approaches for establishing the robustness of neural network models, and methods for analysing properties of neuro-symbolic multi-agent systems.
EC: Trustworthy AIEC: Multiagent Systems
BibTeX
@inproceedings{ijcai2023p800,
title = {Towards Formal Verification of Neuro-symbolic Multi-agent Systems},
author = {Kouvaros, Panagiotis},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-23}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Edith Elkind},
pages = {7014--7019},
year = {2023},
month = {8},
note = {Early Career},
doi = {10.24963/ijcai.2023/800},
url = {https://doi.org/10.24963/ijcai.2023/800},
}