Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.
Mahyar FazlyabManfred MorariGeorge J. PappasPublished in: CDC (2019)
Keyphrases
- semidefinite programming
- reachability analysis
- model checking
- neural network
- linear programming
- markov decision processes
- pattern recognition
- timed automata
- probabilistic model
- kernel matrix
- primal dual
- bayesian networks
- neural network model
- generative model
- artificial neural networks
- incremental algorithms
- maximum margin
- state space
- convex optimization
- hyperplane
- training process
- dimensionality reduction