LEADER 03522nam  22007095  450 
001 9910427707203321
005 20251225183529.0
010   $a3-030-59152-2
024 7 $a10.1007/978-3-030-59152-6
035   $a(CKB)4100000011505452
035   $a(DE-He213)978-3-030-59152-6
035   $a(MiAaPQ)EBC6371098
035   $a(PPN)255227795
035   $a(EXLCZ)994100000011505452
100   $a20201011d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Technology for Verification and Analysis $e18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19?23, 2020, Proceedings /$fedited by Dang Van Hung, Oleg Sokolsky
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12302
300   $aIncludes index.
311 08$a3-030-59151-4 
327   $aNeural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.
330   $aThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12302
606   $aArtificial intelligence
606   $aComputers, Special purpose
606   $aComputer systems
606   $aNatural language processing (Computer science)
606   $aData structures (Computer science)
606   $aInformation theory
606   $aArtificial Intelligence
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aNatural Language Processing (NLP)
606   $aData Structures and Information Theory
615  0$aArtificial intelligence.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aNatural language processing (Computer science).
615  0$aData structures (Computer science).
615  0$aInformation theory.
615 14$aArtificial Intelligence.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aNatural Language Processing (NLP).
615 24$aData Structures and Information Theory.
676   $a006.333
702   $aSokolsky$b Oleg
702   $aDang$b Hung Van$f1950-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910427707203321
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNINA