Sign in
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.
Krishnendu Chatterjee
Thomas A. Henzinger
Mathias Lechner
Dorde Zikelic
Published in:
TACAS (1) (2023)
Keyphrases
</>
neural network
stochastic systems
stochastic models
supply chain