LEADER 02514nam 2200481 450 001 9910427707203321 005 20210228122121.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 $a20210228d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAutomated technology for verification and analysis $e11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /$fDang Van Hung, Oleg Sokolsky 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$dİ2020 215 $a1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12302 300 $aIncludes index. 311 $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 ;$v12302 606 $aArtificial intelligence 615 0$aArtificial intelligence. 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