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 …

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 …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

In this paper we assess the feasibility of using formal methods, and model checking in
particular, for the certification of Unmanned Aircraft Systems (UAS) within civil airspace. We …

Current practice in simulation and implementation of robot controllers is usually undertaken
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …

Sequential emulation is a semantics-based technique to automatically reduce property
checking of distributed systems to the analysis of sequential programs. An automated …

Specification and Verification of Multi-agent Systems presents a coherent treatment of the
area of formal specification and verification of agent-based systems with a special focus on …

As a general trend in industrial robotics, an increasing number of safety functions are being
developed or re-engineered to be handled in software rather than by physical hardware …

The development and deployment of Autonomous Vehicles (AVs) on our roads is not only
realistic in the near future but can also bring significant benefits. In particular, it can …

Jason is a platform for agent-based software development that is characterised both by
being based on a programming language with formal semantics as well as having many …