Sign in
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.
Radoslav Ivanov
Taylor J. Carpenter
James Weimer
Rajeev Alur
George J. Pappas
Insup Lee
Published in:
CAV (1) (2021)
Keyphrases
</>
neural network
computational model
genetic algorithm
probabilistic model
probability distribution
neural network model
multi layer
network model
objective function
artificial neural networks
statistical model
back propagation
bp neural network
neural model