Login / Signup

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.

Weiming XiangHoang-Dung TranJoel A. RosenfeldTaylor T. Johnson
Published in: ACC (2018)
Keyphrases
  • neural network
  • linear systems
  • sufficient conditions
  • machine learning
  • dynamical systems
  • reinforcement learning
  • linear equations