mahathi1992 / safetyfordrones Goto Github PK
View Code? Open in Web Editor NEWFormal verification methods for provable safety of Drones. Funding details as follows: "Das diesem Bericht zugrunde liegende Vorhaben wurde mit Mitteln des Bundesministeriums für Bildung und Forschung unter dem Förderkennzeichen 16MEE0040 gefördert. Die Verantwortung für den Inhalt dieser Veröffentlichung liegt bei der Autorin/beim Autor."