Risk verification of stochastic systems with neural network controllers

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 01, 2022
Source ID
10.1016/j.artint.2022.103782

Entities

People

  • George J. Pappas
  • Lars Lindemann
  • Matthew Cleaveland
  • Radoslav Ivanov

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • National Science Foundation

Tags

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - DoD AI Strategy
  • AI & ML - Machine Learning Algorithms
  • AI & ML - Neural Networks