Elena Botoeva

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems

We study the problem of verifying multi-agent systems composed of arbitrarily many neural-symbolic agents. We introduce a novel parameterised model, where the parameter denotes the number of agents in the system, each homogeneously constructed from an agent template equipped with a neural network-ba…