We address the problem of engineering a sociotechnical system (STS) with respect to its
stakeholders' requirements. We motivate a two-tier STS conception composed of a technical …

There is an increasing need for autonomous systems that exhibit effective decision-making
in unpredictable environments. However, the design of autonomous decision-making …

Testing is a critical part of the software development cycle. This is even more important for
autonomous systems, which can be challenging to test. In mainstream software engineering …

In this work, we propose a novel test case generation approach that can cover the new
interactions introduced following the unpredictable evolution of the behaviour of a multi …

Agile software development is one of the most popular approaches today due to its flexible
and iterative nature that facilitates rapid prototyping. There has been recent work that has …

This series covers the entire research and application spectrum of intelligent systems,
including artificial intelligence, multiagent systems, and cognitive robotics. Typical texts for …

Multiagent systems (MASs) have been applied to several application domains, such as e-
commerce, unmanned vehicles, and many others. In addition, a set of different techniques …

Multi-agent systems are increasingly being used in complex applications due to features
such as autonomy, pro-activity, flexibility, robustness and social ability. These very features …

In this work we present a novel approach to check the consistency of agent designs (prior to
any implementation) with respect to the requirements specifications via automated planning …

Testing the autonomy of, and the interaction between, the agents in Multiagent Systems
(MAS) is the frontal challenge of traditional software testing approaches. When we study …