Accession Number:

AD1090753

Title:

Limiting Run-time Behavior to Improve the Verification of Autonomous Systems

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Report Date:

2019-01-01

Pagination or Media Count:

23.0

Abstract:

Subject Categories:

  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE