Author:
De Maria Elisabetta,Bahrami Abdorrahim,L’Yvonnet Thibaud,Felty Amy,Gaffé Daniel,Ressouche Annie,Grammont Franck
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CheckINN: Wide Range Neural Network Verification in Imandra;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
2. Neural Networks in Imandra: Matrix Representation as a Verification Choice;Lecture Notes in Computer Science;2022