A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods (2016)

First Author: Ireland Murray L.

Attributed to: Verifiable Autonomy funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1609.00177

Publication URI: https://arxiv.org/abs/1609.00177

Type: Journal Article/Review

Parent Publication: arXiv e-prints