Systematic Generation of Diverse Benchmarks for DNN Verification-Reference-Cited by-同舟云学术

Systematic Generation of Diverse Benchmarks for DNN Verification

Published:2020 Issue: Volume: Page:97-121
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Xu Dong^ORCID,Shriver David^ORCID,Dwyer Matthew B.^ORCID,Elbaum Sebastian^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53288-8_5

Reference64 articles.

1. 14th International Satisfiability Modulo Theories Competition. https://smt-comp.github.io/2019/

2. Competition on Software Verification. https://sv-comp.sosy-lab.org/2019/

3. Hardware Model Checking Competition. http://fmv.jku.at/hwmcc19/index.html

4. The International Satisfiability Competitions. http://www.satcompetition.org/

5. Amendola, G., Ricca, F., Truszczynski, M.: A generator of hard 2QBF formulas and ASP programs. In: 16th International Conference on Principles of Knowledge Representation and Reasoning (2018)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Harnessing Neuron Stability to Improve DNN Verification;Proceedings of the ACM on Software Engineering;2024-07-12

2. Training for Verification: Increasing Neuron Stability to Scale DNN Verification;Lecture Notes in Computer Science;2024

3. Distribution Models for Falsification and Verification of DNNs;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11

4. Non-divergent Imitation for Verification of Complex Learned Controllers;2021 International Joint Conference on Neural Networks (IJCNN);2021-07-18

5. World-in-the-Loop Simulation for Autonomous Systems Validation;2021 IEEE International Conference on Robotics and Automation (ICRA);2021-05-30