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 …

Abstract As Cyber-Physical Systems (CPSs) are a class of systems advancing in a number
of safety-critical application areas, it is crucial to ensure that they operate without causing …

Various robots are playing critical roles in many areas such as industrial manufacturing,
disaster rescuing, unmanned vehicle, and science exploration. Because of the uncertain …

Self-assembly formation is a key research topic for realizing practical applications in swarm
robotics. Due to its inherent complexity, designing high-performance self-assembly …

This paper presents a technique for automatic generation of tests for robotic systems based
on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation …

Abstract Model-based engineering emerged as an approach to tackle the complexity of
current system development. In particular, compositional strategies assume that systems can …

Swarm engineering is a systematic application of scientific and technical knowledge to
specify requirements, model, design, realize, verify, validate, operate and maintain a swarm …

Cyber-Physical Systems (CPSs) are engineered systems that are built from, and depend
upon, the seamless integration of computational algorithms and physical components. CPSs …

Distant verification of autonomous agents parameters in dialog mode is a difficult multi-
parametric task, if the large-scale scene of action is characterized by a large number of …

In previous work, we have proposed an efficient technique, using local analysis, to ensure
livelock freedom of CSP systems modelled in the context of a component model, BRIC, with …