Login / Signup

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers.

Shiqi SunYan ZhangXusheng LuoPanagiotis VlantisMiroslav PajicMichael M. Zavlanos
Published in: ICRA (2022)
Keyphrases
  • formal verification
  • stochastic systems
  • neural network
  • model checking
  • stochastic models
  • conservation laws
  • control system
  • confidence intervals
  • sample path
  • temporal logic
  • reinforcement learning