Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Machine learning (ML) is now widespread. Traditional software engineering can be applied
to the development ML applications. However, we have to consider specific problems with …

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 …

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 …

This paper outlines some of the key methods we developed towards the formal verification of
multiagent systems, covering both symbolic and connectionist systems. It discusses logic …

In swarm robotics, behaviors requiring consensus, meaning having the robots agree on a
set of variables, have attracted great attention over the years. Determining the robustness …

We study the problem of determining the robustness of a multi-agent system of unbounded
size against specifications expressed in a temporalepistemic logic. We introduce a …

Autonomous intelligent agents are employed in many applications upon which the life and
welfare of living beings and vital social functions may depend. Therefore, agents should be …

We introduce a semantics for reasoning about probabilistic multi-agent systems in which the
number of participants is not known at design-time. We define the parameterised model …

We study how stability can be maintained even after any set of at most k players leave their
groups, in the context of hedonic games. While stability properties ensure an outcome to be …