On the complexity of formal verification of small and micro UAS

Veres, S., McAree, O. and Aitken, J. (2016) On the complexity of formal verification of small and micro UAS. In: Proceedings of the European Control Conference 2016. European Control Conference, 29 June - 1 July 2016, Aalborg, Denmark. .

Abstract

Metadata

Authors/Creators:
  • Veres, S.
  • McAree, O.
  • Aitken, J.
Copyright, Publisher and Additional Information: © 2016 EEC
Dates:
  • Published: 29 June 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/J011843/1
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/L024942/1
Depositing User: Symplectic Sheffield
Date Deposited: 02 Sep 2016 11:53
Last Modified: 04 Nov 2016 07:12
Status: Published

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export