A continuous-time model of an autonomous aerial vehicle to inform and validate formal verification methods

Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres

Research output: Contribution to journal › Article

Fingerprint

Dive into the research topics of 'A continuous-time model of an autonomous aerial vehicle to inform and validate formal verification methods'. Together they form a unique fingerprint.

Computer Science

Engineering

Material Science

Physics

Earth and Planetary Sciences