We study the reachability problem for systems implemented as feed-forward neural networks
whose activation function is implemented via ReLU functions. We draw a correspondence …

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 introduce a model for agent-environment systems where the agents are implemented via
feed-forward ReLU neural networks and the environment is non-deterministic. We study the …

Modeling and verification of dynamic systems operating over a relational representation of
states are increasingly investigated problems in AI, Business Process Management and …

Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results,
but it can also cause economic losses and jeopardize safety. These risks may not always be …

Abstract Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In fact, it is
not trivial to model a MAS, and even when a model is built, it is not always possible to verify …

This paper establishes a framework based on logic and automata theory in which to model
and automatically verify systems of multiple mobile agents moving in environments with …

Verification of Data-Aware Processes via Satisfiability Modulo Theories Page 1 123 LNBIP 470
Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola …

Given the increasing calls for AI to be trustworthy and explainable there has been growing
attention to issues of safety and reliability in the context of AI systems. Indeed, over the past …

A key difficulty in deploying multi-agent systems (MAS) in critical applications is to ensure
that the MAS under development meets its intended specifications. Languages such as …