Murray L. Ireland

Identifiers

No identifiers captured yet.

Papers (1)

1. A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods cs.RO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alice Miller 1 shared papers
• Gethin Norman 1 shared papers
• Ruth Hoffmann 1 shared papers
• Sandor M. Veres 1 shared papers