PRELIMINARY APPLICATION OF FORMAL VERIFICATION TO AN AUTONOMY ARCHITECTURE FOR UNMANNED AIRCRAFT
2024
Sonstige
Elektronische Ressource
Englisch
Towards Autonomy and Safety for Unmanned Aircraft Systems
Springer Verlag | 2018
|Formal Methods for Unmanned Aircraft Systems
NTIS | 2021
|