Cooperative machines are the essence of automated systems that provide solutions in
various domains, one example being the manufacturing industry. Specifically, the ability to …

Abstract Unmanned Aerial Vehicle (UAV) exploration is a rising field of interest in recent
years. UAVs are agile and able to enter areas that humans cannot, making them ideal for …

With high level motion planning a robot can be told what to do. The robot could be ordered
to do tasks we do not want to do ourselves, such as cleaning, or to do tasks in dangerous …

Metric interval temporal logic (MITL) provides a tool to formulate high level tasks in an easy
way. This allows to specify behaviour of a dynamical system in a given environment which …