Trusted Unmanned Aerial System Operations
TR Number
Date
2020-06-03
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Virginia Tech
Abstract
Description
Keywords
Runtime verification, Safety monitors, Field programmable gate arrays, UAS, Formal methods