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 …

The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

A robot affects and is affected by its environment, so that typically its behaviour depends on
properties of that environment. For verification, we need to formalise those properties …

Specifying budgets and deadlines using a process algebra like CSP requires an explicit
notion of time. The tock-CSP encoding embeds a rich and flexible approach for modelling …

Simulation is favored by roboticists to evaluate controller design and software. Often, state
machines are drawn to convey overall ideas and used as a basis to program tool-specific …

The growing complexity and diversity of models used for engineering dependable systems
implies that a variety of formal methods, across differing abstractions, paradigms, and …

Simulation and formal verification are important complementary techniques necessary in
high assurance model-based systems development. In order to support coherent results, it is …

Рассматриваются особенности разработки программных продуктов с использованием
символьных и строковых переменных в объектно-ориентированной среде С++ Builder …

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 behaviour of a robot affects and is affected by its environment. So, many of the expected
and desirable properties of a robotic system depend on properties of its environment. While …