Aleksandar Zeljić

Aleksandar Zeljić

Postdoctoral Scholar, Stanford University
在 stanford.edu 的电子邮件经过验证
被引用次数：936
Automated Reasoning Formal Methods SMT SAT Verification of Neural Networks
Christopher Brix

Christopher Brix

PhD Candidate in Computer Science, RWTH Aachen University
在 cs.rwth-aachen.de 的电子邮件经过验证
被引用次数：307
Verification of Neural Networks Machine Learning Artificial Intellligence Neural Networks Machine Translation
Patrick Henriksen

Patrick Henriksen

Imperial College London
在 ic.ac.uk 的电子邮件经过验证
被引用次数：279
Verification of Neural Networks Robust Training of Neural Networks Machine Learning AI
Sabine Rieder

Sabine Rieder

Technical University of Munich; Masaryk University
在 tum.de 的电子邮件经过验证
被引用次数：14
verification of neural networks runtime monitoring of neural networks