Skip to main content

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14846)

Included in the following conference series:

Conference proceedings info: SAIV 2024.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 109.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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

Keywords

Table of contents (9 papers)

Other volumes

  1. AI Verification

Editors and Affiliations

  • University of Haifa, Haifa, Israel

    Guy Avni

  • University of Birmingham, Birmingham, UK

    Mirco Giacobbe

  • Vanderbilt University, Nashville, USA

    Taylor T. Johnson

  • Hebrew University of Jerusalem, Jerusalem, Israel

    Guy Katz

  • Delft University of Technology, Delft, The Netherlands

    Anna Lukina

  • VMware by Broadcom, Palo Alto, USA

    Nina Narodytska

  • Aalborg University, Aalborg, Denmark

    Christian Schilling

Bibliographic Information

  • Book Title: AI Verification

  • Book Subtitle: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

  • Editors: Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-65112-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024

  • Softcover ISBN: 978-3-031-65111-3Published: 17 July 2024

  • eBook ISBN: 978-3-031-65112-0Published: 16 July 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 189

  • Number of Illustrations: 8 b/w illustrations, 46 illustrations in colour

  • Topics: Artificial Intelligence

Publish with us