Publisher
Springer Nature Switzerland
Reference29 articles.
1. Repeatability package. https://github.com/JuliaReach/AISoLA2023_RE
2. LNCS;S Bak,2022
3. Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., Schilling, C.: JuliaReach: a toolbox for set-based reachability. In: HSCC, pp. 39–44. ACM (2019). https://doi.org/10.1145/3302504.3311804
4. Breutel, S., Maire, F., Hayward, R.: Extracting interface assertions from neural networks in polyhedral format. In: ESANN, pp. 463–468 (2003). https://www.esann.org/sites/default/files/proceedings/legacy/es2003-72.pdf
5. Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173(11), 1079–1100 (2009). https://doi.org/10.1016/j.artint.2009.03.002
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesizing Boxes Preconditions for Deep Neural Networks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11