PRELIMINARY APPLICATION OF FORMAL VERIFICATION TO AN AUTONOMY ARCHITECTURE FOR UNMANNED AIRCRAFT
2024
Miscellaneous
Electronic Resource
English
Towards Autonomy and Safety for Unmanned Aircraft Systems
Springer Verlag | 2018
|Formal Methods for Unmanned Aircraft Systems
NTIS | 2021
|