03296nam a22005175i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001300172050001400185072001600199072002300215072001500238245026100253250001800514264006900532300006400601336002600665337002600691338003600717347002400753490005900777520085100836650003601687650003601723700007901759700015201838700008701990700007902077700008202156700008602238700015702324710003402481773002602515776003602541776003602577830005902613856004602672912001402718912001502732912001402747999001702761978-3-031-65112-0DE-He21320251030112634.0cr nn 008mamaa240717s2024    sz |    s    |||| 0|eng d  a97830316511209978-3-031-65112-07 a10.1007/978-3-031-65112-02doi 4aQ334-342 4aTA347.A78 7aUYQ2bicssc 7aCOM0040002bisacsh 7aUYQ2thema10aAI Verificationh[electronic resource] :bFirst International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings /cedited by Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aIX, 189 p. 54 illus., 46 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v14846  aThis LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification. 0aArtificial intelligence.95844114aArtificial Intelligence.9584411 aAvni, Guy.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9807891 aGiacobbe, Mirco.eeditor.0(orcid)0000-0001-8180-09041https://orcid.org/0000-0001-8180-09044edt4http://id.loc.gov/vocabulary/relators/edt9807901 aJohnson, Taylor T.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9807911 aKatz, Guy.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9807921 aLukina, Anna.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9807931 aNarodytska, Nina.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9807941 aSchilling, Christian.eeditor.0(orcid)0000-0003-3658-10651https://orcid.org/0000-0003-3658-10654edt4http://id.loc.gov/vocabulary/relators/edt9807952 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303165111308iPrinted edition:z9783031651137 0aLecture Notes in Computer Science,x1611-3349 ;v1484640uhttps://doi.org/10.1007/978-3-031-65112-0  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c61696d61696