Provable preimage under-approximation for neural networks

Published in Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2024

Recommended citation: Xiyue Zhang, Benjie Wang, Marta Kwiatkowska . "Provable Preimage Under-Approximation for Neural Networks." Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. https://link.springer.com/chapter/10.1007/978-3-031-57256-2_1