Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.
Mahyar FazlyabManfred MorariGeorge J. PappasPublished in: CoRR (2019)
Keyphrases
- semidefinite programming
- reachability analysis
- model checking
- neural network
- linear programming
- timed automata
- markov decision processes
- primal dual
- kernel matrix
- pattern recognition
- neural network model
- artificial neural networks
- probabilistic model
- maximum margin
- bayesian networks
- state space
- posterior probability
- incremental algorithms
- np hard
- pairwise