Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

International Symposium on AI Verification (SAIV)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

SAIV 2024: Montreal, QC, Canada

- view
  authority control:
- export record
  dblp key:
  - conf/saiv/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saiv/2024
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling:
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings. Lecture Notes in Computer Science 14846, Springer 2024, ISBN 978-3-031-65111-3 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.