Login / Signup

Risk verification of stochastic systems with neural network controllers.

Matthew CleavelandLars LindemannRadoslav IvanovGeorge J. Pappas
Published in: Artif. Intell. (2022)
Keyphrases
  • stochastic systems
  • neural network
  • stochastic models
  • conservation laws
  • confidence intervals
  • sample path
  • model checking
  • control system
  • reinforcement learning
  • asymptotic analysis