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

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

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 …

The recent social trends and accelerated technological progress culminated in the
development of autonomous vehicles (AVs). Reliability assessment for AV systems is in high …

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 …

Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …

Due to the complexity of the real world, autonomous systems use decision-making models
that rely on simplifying assumptions to make them computationally tractable and feasible to …

When applying formal verification to a system that interacts with the real world we must use a
model of the environment. This model represents an abstraction of the actual environment …

Interactions between agents are usually designed from a global viewpoint. However, the
implementation of a multi-agent interaction is distributed. It is well known that this difference …