Software verification for highly automatic unmanned aerial vehicles is not only a problem
itself, it is furthermore constrained by certification standards and regulatory rules. These …

This work presents recent progress at the German Aerospace Center (DLR) in landing
guidance for helicopter approaches to landing sites without prior reconnaissance. During …

Onboard and online flight path planning for small-scale unmanned rotorcraft requires very
efficient algorithms in order to meet runtime constraints. When flying through a priori …

Onboard and online flight path planning for small-scale unmanned rotorcraft requires
efficient algorithms in order to meet real-time constraints. In a priori unknown environment …

In the recent trends, automated systems are increasingly seen to be embedded in human life
with the increase of human dependence on software to perform safetycritical tasks like …