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