Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

Calvin Chau, Jan Kretínský, Stefanie Mohr. Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. In Étienne André, Jun Sun 0001, editors, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Volume 14215 of Lecture Notes in Computer Science, pages 401-421, Springer, 2023. [doi]

Authors

Calvin Chau

This author has not been identified. Look up 'Calvin Chau' in Google

Jan Kretínský

This author has not been identified. Look up 'Jan Kretínský' in Google

Stefanie Mohr

This author has not been identified. Look up 'Stefanie Mohr' in Google