In this paper we describe a verification system for multi-agent programs. This is the first
comprehensive approach to the verification of programs developed using programming …

Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

We study the problem of verifying role-based multi-agent systems, where the number of
components cannot be determined at design time. We give a semantics that captures …

The aim of 'programming the global computer'was identified by Milner and others as one of
the grand challenges of computing research. At the time this phrase was coined, it was …

In this paper, we show that the flexible model-checking of multi-agent systems, implemented
using agent-oriented programming languages, is viable thus paving the way for the …

Abstract Model checking is a well-established technique for the formal verification of
concurrent and distributed systems. In recent years, model checking has been extended and …

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has
proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to …

This paper deals with the problem of verification of game-like structures by means of
symbolic model checking. Alternating-time Temporal Logic (ATL) is used for expressing …

We consider closed-loop Agent-Environment Systems (AESs), where the agent is controlled
by a Recurrent Neural Network (RNN) with ReLU activations in a non-deterministic …

We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We
show that the TECTLK model checking problem is decidable, and we present an algorithm …