Accession Number:

AD1090353

Title:

On Verifying Autonomous Systems

Descriptive Note:

Technical Report

Corporate Author:

Carnegie-Mellon University Pittsburgh United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

17.0

Abstract:

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE