Accession Number:

AD1113747

Title:

Runtime-Assurance for AI

Descriptive Note:

[Technical Report, Briefing Charts]

Corporate Author:

Carnegie Mellon University

Personal Author(s):

Report Date:

2020-01-01

Pagination or Media Count:

25

Abstract:

Contents include V and V of AIML Machine Learning Simplified View V and V Machine Learning Challenges V and V Approaches for Trained ML V and V Approach for Evolving ML Verifying Physics Control Theory Analysis of Mission Progress Drone Experiment Enforcing Unverified Components Periodic Execution Must Finish by Deadline Real-Time Mixed-Trust Computation.

Subject Categories:

  • Cybernetics

Distribution Statement:

[A, Approved For Public Release]