We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

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 …

In this paper, we present epmc, an extendible probabilistic model checker. epmc has a small
kernel, and is designed modularly. It supports discrete probabilistic models such as Markov …

We show that very simple molecular systems, modeled as chemical reaction networks, can
have behaviors that exhibit dramatic phase transitions at certain population thresholds …

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 …

Despite the advances in probabilistic model checking, the scalability of the verification
methods remains limited. In particular, the state space often becomes extremely large when …

We present a method for reasoning about faulttolerance in unbounded robotic swarms. We
introduce a novel semantics that accounts for the probabilistic nature of both the swarm and …

Swarm robotics has been put forward as a method of addressing a number of scenarios
where scalability and robustness are desired. In order to deploy robotic swarms in …

Guaranteeing safety is crucial for autonomous robotic agents. Formal methods such as
model checking show great potential to provide guarantees on agent and multi-agent …

A swarm robotic system consists of a team of robots performing cooperative tasks without
any centralized coordination. In principle, swarms enable flexible and scalable solutions; …