Media type: E-Article Title: Rule-Based Verification of Autonomous Unmanned Aerial Vehicles Contributor: Sieber, Christoph [Author]; Vieira da Silva, Luis Miguel [Author]; Grünhagen, Kilian [Author]; Fay, Alexander [Author] Published: 2024 Published in: Drones ; 8(2024), 1, Artikel-ID 26 Language: English DOI: 10.3390/drones8010026 Identifier: Origination: Footnote: Access State: Open Access