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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1090753

Entities

People

  • Björn Andersson
  • Dionisio de Niz
  • Gabriel A. Moreno

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Algorithms
  • Autonomous Systems
  • Coding
  • Copyrights
  • Cyber-Physical Systems
  • Cyberattacks
  • Department Of Defense
  • Engineering
  • Environment
  • Governments
  • Guarantees
  • Materials
  • Software Development
  • Three Dimensional
  • Universities
  • Verification

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control