Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

AnalyZr: A Python application for zircon grain image segmentation and shape analysis., , , , and . Comput. Geosci., (2022)Marabou 2.0: A Versatile Formal Analyzer of Neural Networks., , , , , , , , , and 7 other author(s). CoRR, (2024)Formally Verified Convergence of Policy-Rich DBF Routing Protocols., and . CoRR, (2021)Differentiable Logics for Neural Network Training and Verification., , , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 67-77. Springer, (2022)Neural Network Robustness as a Verification Property: A Principled Case Study., , , , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 219-231. Springer, (2022)An algebraic perspective on the convergence of vector-based routing protocols. University of Cambridge, UK, (2019)British Library, EThOS.CheckINN: Wide Range Neural Network Verification in Imandra (Extended)., , , and . CoRR, (2022)Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers., , , , and . CoRR, (2022)Property-driven Training: All You (N)Ever Wanted to Know About., , , , , and . CoRR, (2021)CheckINN: Wide Range Neural Network Verification in Imandra., , , and . PPDP, page 3:1-3:14. ACM, (2022)