國立虎尾科技大學 |

Software Verification and Formal Methods for ML-Enabled Autonomous Systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Software Verification and Formal Methods for ML-Enabled Autonomous Systems/ edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi.
Reminder of title:	5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /
other author:	Isac, Omri.
Description:	X, 205 p. 42 illus., 34 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer science. -
Online resource:	https://doi.org/10.1007/978-3-031-21222-2
ISBN:	9783031212222

Software Verification and Formal Methods for ML-Enabled Autonomous Systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /
Software Verification and Formal Methods for ML-Enabled Autonomous Systems5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /[electronic resource] :edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi. - 1st ed. 2022. - X, 205 p. 42 illus., 34 illus. in color.online resource. - Lecture Notes in Computer Science,134661611-3349 ;. - Lecture Notes in Computer Science,9324.

FoMLAS 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. .

This 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. .

ISBN: 9783031212222

Standard No.: 10.1007/978-3-031-21222-2doiSubjects--Topical Terms:

573171
Computer science.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Software Verification and Formal Methods for ML-Enabled Autonomous Systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings /
LDR:03165nam a22004095i 4500 001 1086441
003 DE-He213
005 20221215094755.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031212222 $9 978-3-031-21222-2
024 7 $a 10.1007/978-3-031-21222-2 $2 doi
035 $a 978-3-031-21222-2
050 4 $a QA75.5-76.95
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Software Verification and Formal Methods for ML-Enabled Autonomous Systems $h [electronic resource] : $b 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / $c edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a X, 205 p. 42 illus., 34 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13466
505 0 $a FoMLAS 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. .
520 $a This 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. .
650 0 $a Computer science. $3 573171
650 0 $a Computer networks . $3 1365720
650 0 $a Machine learning. $3 561253
650 0 $a Computer vision. $3 561800
650 0 $a Software engineering. $3 562952
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Machine Learning. $3 1137723
650 2 4 $a Computer Vision. $3 1127422
650 2 4 $a Software Engineering. $3 669632
700 1 $a Isac, Omri. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1393209
700 1 $a Ivanov, Radoslav. $e editor. $1 https://orcid.org/0000-0003-4987-4836 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1393210
700 1 $a Katz, Guy. $e editor. $1 https://orcid.org/0000-0001-5292-801X $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1393211
700 1 $a Narodytska, Nina. $e editor. $1 https://orcid.org/0000-0002-5181-4560 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1393212
700 1 $a Nenzi, Laura. $e editor. $1 https://orcid.org/0000-0003-2263-9342 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1393213
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031212215
776 0 8 $i Printed edition: $z 9783031212239
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-21222-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)