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 …

With recent advancements in systems engineering and artificial intelligence, autonomous
agents are increasingly being called upon to execute tasks that have normative relevance …

Robot software controllers are often concurrent and time critical, and requires modern
engineering approaches for validation and verification. With this motivation, we have …

Assurance cases are used to communicate and assess confidence in critical system
properties, eg, safety and security. Historically, assurance cases have been manually …

Controllers for autonomous robotic systems can be specified using state machines.
However, these are typically developed in an ad hoc manner without formal semantics …

Assurance cases are used to communicate and assess confidence in critical system
properties such as safety and security. Historically, assurance cases have been manually …

The goal of this thesis is to add to the efforts toward the long-sought objective of secure and
safe robots with predictable and a priori known behavior. For the reasons given above …

Many approaches for designing robotic applications have been proposed in recent years. If
they are relevant to the problem they solve, most of them are platform-or language …

The goal of this document is to add to the efforts toward the long-sought objective of secure
and safe robots with predictable and a priori known behavior. For this, we give operational …

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 …