Abstract Within Agile methods, User Stories (US) are mostly used as primary requirements
artifacts and units of functionality of the project. The idea is to express requirements on a low …

Verifying autonomous systems Page 1 84 commUnications of thE acm | september 2013 | vol.
56 | no. 9 review articles Ill u S tra t Ion b ya lICI ak ub IS ta/ a n D r IJ b or yS a SS o CI a te S …

CArtAgO is a platform and infrastructure providing ageneral-purpose programming model for
building shared computational worlds–referred here as work environments–that agents …

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 …

Previous work on ethical machine reasoning has largely been theoretical, and where such
systems have been implemented, it has, in general, been only initial proofs of principle …

We present a verification methodology for analysing the decision-making component in
agent-based hybrid systems. Traditionally hybrid automata have been used to both …

In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …

Ensuring that autonomous systems work ethically is both complex and difficult. However, the
idea of having an additional 'governor'that assesses options the system has, and prunes …

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 …