Risk Verification of Stochastic Systems with Neural Network Controllers.

Matthew Cleaveland Lars Lindemann Radoslav Ivanov George J. Pappas

Published in: CoRR (2022)

Keyphrases

stochastic systems
neural network
stochastic models
conservation laws
sample path
confidence intervals
model checking
reinforcement learning
control system
control strategy
asymptotic analysis
markov chain
control algorithm