Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: AI Verification
Band 15947

AI Verification Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings

Aus der Reihe Lecture Notes in Computer Science

59,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2025

Abbildungen

X, 280 p. 93 illus., 80 illus. in color.

Herausgeber

Mirco Giacobbe + weitere

Verlag

Springer

Seitenzahl

280

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

500 g

Sprache

Englisch

ISBN

978-3-031-99990-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2025

Abbildungen

X, 280 p. 93 illus., 80 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

280

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

500 g

Sprache

Englisch

ISBN

978-3-031-99990-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: AI Verification

  • ._Technical Program.

    ._Scenario-based Compositional Verification of Autonomous Systems.

    ._Robustness Margin: A new measure for the robustness of neural networks.

    ._GRENA: GPU-aided Abstract Refinement for Neural Network Verification.

    ._ClassInvGen: Class Invariant Synthesis using Large Language Models.

    ._Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification.

    ._Probabilistic verification of neural networks with sampling-based Probability Box propagation.

    ._How to Verify Generalization Capability of a Neural Network with Formal Methods.

    ._Certified Error Analysis of Homomorphically Encrypted Neural Networks.

    ._Neural Network Verification for Gliding Drone Control: A Case Study.

    ._Extended Abstracts.

    ._Abstraction-Based Proof Production in Formal Verification of Neural  Networks.

    ._On the Complexity of Formal Reasoning in State Space Models.

    ._Quantifiers for Di’erentiable Logics in Rocq.

    ._CTRAIN - A Training Library for Certifiably Robust Neural Networks.

    ._Competition Contributions.

    ._NeuralSAT: Scaling Constraint Solving for DNN Verification.

    ._NNV: a Star Set Reachability Approach.

    ._PyRAT: Verifying Neural Networks with Abstract Interpretation.

    ._SobolBox: Boxed Refinement of Sobol Sequence Samples for Neural Network Verification.