On the complexity of formal verification of small and micro UAS

First Author: Veres, S

Attributed to: Verifiable Autonomy funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract