Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks-Reference-Cited by-同舟云学术

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

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

Author:

Katz Guy,Barrett Clark,Dill David L.,Julian Kyle,Kochenderfer Mykel J.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-319-63387-9_5

Reference35 articles.

1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Barrett,2006

2. Frontiers in Artificial Intelligence and Applications;C Barrett,2009

3. Bastani, O., Ioannou, Y., Lampropoulos, L., Vytiniotis, D., Nori, A., Criminisi, A.: Measuring neural net robustness with constraints. In: Proceedings of the 30th Conference on Neural Information Processing Systems (NIPS) (2016)

4. Bojarski, M., Del Testa, D., Dworakowski, D., Firner, B., Flepp, B., Goyal, P., Jackel, L., Monfort, M., Muller, U., Zhang, J., Zhang, X., Zhao, J., Zieba, K.: End to end learning for self-driving cars, Technical report (2016). http://arxiv.org/abs/1604.07316

5. Dantzig, G.: Linear Programming and Extensions. Princeton University Press, Princeton (1963)

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

1. How Generalizable is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance Evaluation;IEEE Robotics and Automation Letters;2024-10

2. Code-Level Safety Verification for Automated Driving: A Case Study;Lecture Notes in Computer Science;2024-09-13

3. Runtime Verified Neural Networks for Cyber-Physical Systems;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

4. A obustness fication Tool for uantum Machine Learning Models;Lecture Notes in Computer Science;2024-09-11

5. Certified Quantization Strategy Synthesis for Neural Networks;Lecture Notes in Computer Science;2024-09-11