001451966 000__ 04021cam\a2200601\a\4500
001451966 001__ 1451966
001451966 003__ OCoLC
001451966 005__ 20230310003334.0
001451966 006__ m\\\\\o\\d\\\\\\\\
001451966 007__ cr\un\nnnunnun
001451966 008__ 221231s2023\\\\sz\\\\\\o\\\\\101\0\eng\d
001451966 019__ $$a1355267538
001451966 020__ $$a9783031212222$$q(electronic bk.)
001451966 020__ $$a3031212223$$q(electronic bk.)
001451966 020__ $$z3031212215
001451966 020__ $$z9783031212215
001451966 0247_ $$a10.1007/978-3-031-21222-2$$2doi
001451966 035__ $$aSP(OCoLC)1356008806
001451966 040__ $$aEBLCP$$beng$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCQ$$dBRX
001451966 049__ $$aISEA
001451966 050_4 $$aQA76.76.V47
001451966 08204 $$a005.14$$223/eng/20230103
001451966 1112_ $$aInternational Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems$$n(5th :$$d2022 :$$cHaifa, Israel)
001451966 24510 $$aSoftware verification and formal methods for ML-enabled autonomous systems :$$b5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /$$cOmri Isac [and more] (eds.).
001451966 2463_ $$aFoMLAS 2022
001451966 2463_ $$aNSV 2022
001451966 260__ $$aCham :$$bSpringer,$$c2023.
001451966 300__ $$a1 online resource (213 p.).
001451966 4901_ $$aLecture Notes in Computer Science ;$$v13466
001451966 500__ $$aIncludes author index.
001451966 5050_ $$aFoMLAS 2022 -- VPN: Verification of Poisoning in Neural Networks -- A Cascade of Checkers for Run-time Certification of Local Robustness -- CEG4N: Counter-Example Guided Neural Network Quantization Refinement -- Minimal Multi-Layer Modifications of Deep Neural Networks -- Differentiable Logics for Neural Network Training and Verification -- Neural Networks in Imandra: Matrix Representation as a Verification Choice -- Self-Correcting Neural Networks For Safe Classification -- Self-Correcting Neural Networks For Safe Classification -- NSV 2022 -- Verified Numerical Methods for Ordinary Differential Equations -- Neural Network Precision Tuning Using Stochastic Arithmetic -- MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types.
001451966 506__ $$aAccess limited to authorized users.
001451966 520__ $$aThis book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
001451966 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 3, 2023).
001451966 650_0 $$aComputer software$$xVerification$$vCongresses.
001451966 650_0 $$aSoftware engineering$$vCongresses.
001451966 650_0 $$aFormal methods (Computer science)$$vCongresses.
001451966 650_0 $$aMachine learning$$vCongresses.
001451966 655_0 $$aElectronic books.
001451966 7001_ $$aIsac, Omri.
001451966 7001_ $$aIvanov, Radoslav.
001451966 7001_ $$aKatz, Guy.
001451966 7001_ $$aNarodytska, Nina.
001451966 7001_ $$aNenzi, Laura.
001451966 7112_ $$aInternational Workshop on Numerical Software Verification$$n(15th :$$d2022 :$$cHaifa, Israel)
001451966 77608 $$iPrint version:$$aIsac, Omri$$tSoftware Verification and Formal Methods for ML-Enabled Autonomous Systems$$dCham : Springer International Publishing AG,c2023$$z9783031212215
001451966 830_0 $$aLecture notes in computer science ;$$v13466.
001451966 852__ $$bebk
001451966 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21222-2$$zOnline Access$$91397441.1
001451966 909CO $$ooai:library.usi.edu:1451966$$pGLOBAL_SET
001451966 980__ $$aBIB
001451966 980__ $$aEBOOK
001451966 982__ $$aEbook
001451966 983__ $$aOnline
001451966 994__ $$a92$$bISE