55 citations · 60 across the 3 of their papers we have counts for
3 papers
cs.AI2020★ 4 cited
Improving Neural Network Verification through Spurious Region Guided Refinement
Pengfei Yang, Renjue Li, Jianlin Li +5
We propose a spurious region guided refinement approach for robustness verification of deep neural networks. Our method starts with applying the DeepPoly abstract domain to analyze…
cs.LG2019★ 55 cited
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Jianlin Li, Pengfei Yang, Jiangchao Liu +3
Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns o…
cs.FL2017★ 1 cited
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
Hongfei Fu, Yi Li, Jianlin Li +1
Probabilistic timed automata (PTAs) are timed automata (TAs) extended with discrete probability distributions.They serve as a mathematical model for a wide range of applications th…