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

The control of a multiple unmanned aerial vehicle (UAV) system is popular and attracting a
lot of attentions. This is motivated by many practical civil and commercial UAV applications …

Robot control for tasks such as moving around obstacles or gras** objects has advanced
significantly in the last few decades. However, controlling robots to perform complex tasks is …

A complex system for control of swarms of micro aerial vehicles (MAV), in literature also
called as unmanned aerial vehicles (UAV) or unmanned aerial systems (UAS), stabilized via …

The behaviour of social insects such as bees and ants has influenced the development of
swarm robots. To enable robots to cooperate together, swarm robotics employs principles …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

A systematic review is provided on artificial agent methodologies applicable to control
engineering of autonomous vehicles and robots. The paper focuses on some fundamentals …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Recently, linear temporal logic (LTL) has been employed as a tool for formal specification in
dynamical control systems. With this formal approach, control systems can be designed to …