TY  - RPRT
TI  - A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
AU  - Murray L. Ireland
AU  - Ruth Hoffmann
AU  - Alice Miller
AU  - Gethin Norman
AU  - Sandor M. Veres
PY  - 2016
UR  - https://arxiv.org/abs/1609.00177
ID  - 1609.00177
ER  -