Login / Signup
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers.
Shiqi Sun
Yan Zhang
Xusheng Luo
Panagiotis Vlantis
Miroslav Pajic
Michael 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