Login / Signup
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems.
Akash Harapanahalli
Saber Jafarpour
Samuel Coogan
Published in:
CoRR (2023)
Keyphrases
</>
formal verification
neural network
automated verification
artificial neural networks
expert systems
fuzzy logic
knowledge based systems
model checking
interval arithmetic
three dimensional
objective function
search algorithm
provably correct