Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Recently, the civilian applications of Unmanned Aerial Vehicles (UAVs) are gaining more
interest in several domains. Due to operational costs, safety concerns, and legal regulations …

Autonomous systems such as unmanned vehicles are beginning to operate within society.
All participants in society are required to follow specific regulations and laws. An …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

Aviation safety regulations for unmanned aircraft have become an important area of
discussion for policymakers and practitioners alike. While there is a large extant literature …

Both the ethics of autonomous systems and the problems of their technical implementation
have by now been studied in some detail. Less attention has been given to the areas in …

In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …

We present an approach for the verification and validation (V&V) of robot assistants in the
context of human–robot interactions, to demonstrate their trustworthiness through …

Smart Autonomous Aircraft: Flight Control and Planning for UAV introduces the advanced
methods of flight control, planning, situation awareness, and decision making. This book is …

Robotic systems are multi-dimensional entities, combining both hardware and software, that
are heavily dependent on, and influenced by, interactions with the real world. They can be …