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:
CoRR (2021)
Keyphrases
</>
formal verification
stochastic systems
neural network
model checking
stochastic models
conservation laws
confidence intervals
sample path
temporal logic
reinforcement learning
control system
objective function
probabilistic model
control strategy
network model
finite state