共 27 条
[1]
[Anonymous], 2018, ARXIV PREPRINT ARXIV
[2]
[Anonymous], 2017, ARXIV170608605
[3]
[Anonymous], 2018, ARXIV180410829
[4]
Detecting cyber-physical threats in an autonomous robotic vehicle using Bayesian Networks
[J].
2017 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA),
2017,
:98-103
[5]
Towards Evaluating the Robustness of Neural Networks
[J].
2017 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP),
2017,
:39-57
[6]
Elsayed GF, 2018, ADV NEUR IN, V31
[7]
He K., 2015, P IEEE C COMPUTER VI, DOI DOI 10.1109/CVPR.2016.90
[9]
Huang W., 2018, DIMVA, P399
[10]
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
[J].
COMPUTER AIDED VERIFICATION, CAV 2017, PT I,
2017, 10426
:97-117