DNN Verification, Reachability, and the Exponential Function Problem.
Omri IsacYoni ZoharClark W. BarrettGuy KatzPublished in: CoRR (2023)
Keyphrases
- model checking
- state space
- real time
- case study
- asynchronous circuits
- test generation
- signature verification
- relational databases
- formal methods
- transitive closure
- training process
- functional verification
- high security
- mobile robot
- evolutionary algorithm
- learning environment
- image processing
- neural network
- databases
- data sets