Rule-based verification of autonomous unmanned aerial vehicles

Sieber, Christoph; Vieira da Silva, Luis Miguel; Grünhagen, Kilian; Fay, Alexander

doi:10.3390/drones8010026

Rule-based verification of autonomous unmanned aerial vehicles

Publication date

2024-01-20

Document type

Forschungsartikel

Author

Sieber, Christoph

Vieira da Silva, Luis Miguel

Grünhagen, Kilian

Fay, Alexander

Organisational unit

Automatisierungstechnik

DTEC.bw

DOI

10.3390/drones8010026

URI

https://openhsu.ub.hsu-hh.de/handle/10.24405/19762

Project

Rechtskonforme IT-Konzepte und -Lösungen für Verbünde autonomer Land-, Wasser- und Luftfahrzeuge

Publisher

MDPI

Series or journal

Drones

ISSN

2504-446X

Periodical volume

8

Periodical issue

1

Article ID

26

Peer-reviewed

✅

Part of the university bibliography

✅

Language

English

Keyword

dtec.bw

Description

This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).

Version

Published version

Access right on openHSU

Metadata only access