Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
- Calvin Chau
- , Jan Křetínský
- , Stefanie Mohr
- Technische Universität Dresden
- Masaryk University
- Technical University of Munich
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations