Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2020
Source ID
10.1109/mra.2020.2981114

Entities

People

  • Carmelo Di Franco
  • Esen Yel
  • Insup Lee
  • James Weimer
  • Nicola Bezzo
  • Radoslav Ivanov
  • Taylor J. Carpenter
  • Yiannis Kantaros

Organizations

  • Air Force Research Laboratory

Tags

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Neural Networks