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 …

The need for robotic systems to be verified grows as robots are increasingly used in complex
applications with safety implications. Model-driven engineering and domain-specific …

Abstract State machines are widely used in industry and academia to capture behavioural
models of control. They are included in popular notations, such as UML and its variants, and …

Use of simulation to support the design of software for robotic systems is pervasive.
Typically, roboticists draw a state machine using an informal notation (not precise or …

Recent advances in Engineering and Artificial Intelligence promise to have a transformative
impact on society, as robots become ubiquitous in homes, offices, and public spaces …

Current software engineering frameworks for robotics treat artificial neural networks (ANNs)
components as black boxes, and existing white-box techniques consider either component …