Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation-Reference-Cited by-同舟云学术

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation

Published:2014-05 Issue:5 Volume:11 Page:258-279
ISSN:2327-3097
Container-title:Journal of Aerospace Information Systems
language:en
Short-container-title:Journal of Aerospace Information Systems

Author:

Webster Matt¹,Cameron Neil²,Fisher Michael³,Jump Mike³

Affiliation:

1. Department of Computer Science, University of Liverpool, Liverpool, England L69 3BX, United Kingdom

2. Virtual Engineering Centre, Daresbury Laboratory, Warrington, England WA4 4AD, United Kingdom

3. Department of Computer Science, University of Liverpool, Liverpool L69 3BX, United Kingdom

Publisher

American Institute of Aeronautics and Astronautics (AIAA)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Aerospace Engineering

Link

http://arc.aiaa.org/doi/pdf/10.2514/1.I010096

Reference31 articles.

1. WeibelR. E.HansmanR. J. “Safety Considerations for Operation of Unmanned Aerial Vehicles in the National Airspace System,” Massachusetts Inst. of Technology International Center for Air Transportation TR-ICAT-2005-1, Cambridge, MA, 2005.

2. WooldridgeM., An Introduction to Multiagent Systems, Wiley, Chester, England, U.K., 2002, p. 23.

Cited by 47 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Ethics of Artificial Intelligence and Autonomous Systems: Review;International Journal of Innovative Science and Research Technology (IJISRT);2024-08-28

2. Engineering Responsible And Explainable Models In Human-Agent Collectives;Applied Artificial Intelligence;2023-12-05

3. Qualification of proof assistants, checkers, and generators: Where are we and what next?;Science of Computer Programming;2023-03

4. Introduction to Advanced Information Technology;Progress in IS;2022-10-30

5. Verifiable autonomy: From theory to applications;AI Communications;2022-09-20