Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. - Enea, Constantin; Lal, Akash (Cham : Springer, 2023)
QEBVerif: Quantization Error Bound Verification of Neural Networks.
Description based on publisher supplied metadata and other sources.
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Keywords: Electronic books