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 grasping 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 …

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

We propose a new specification language and control synthesis technique for single and
multi-robot high-level tasks; these tasks include timing constraints and reaction to …

This paper investigates the coordination of multiple agents for high-level tasks described by
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …

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 …

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 …