Runtime-Assurance for AI

Abstract

Contents include: V and V of AI/ML: 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1113747

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Artificial Intelligence Software
  • Computations
  • Computer Programming
  • Computers
  • Control Theory
  • Cyber-Physical Systems
  • Cyberattacks
  • Department Of Defense
  • Engineering
  • Equations
  • Governments
  • Guarantees
  • Hybrid Systems
  • Machine Learning
  • Materials
  • Neural Networks
  • Quadratic Equations
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Neural Network Machine Learning.
  • Parallel and Distributed Computing.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - DoD AI Strategy
  • AI & ML - Neural Networks
  • Autonomy
  • Autonomy - Autonomous System Control