Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Brand: Springer, Berlin
SKU: 9783031212215
Price: 65.05 EUR
Availability: InStock

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Autor: Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

65.05 €

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific...

Informácie o knihe

Autor

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2022

Stránok

205

EAN

9783031212215

Enbook ID

41908349

Vydavateľ

Springer, Berlin

Hmotnosť

308

Rozmery

155 x 235 x 12

Kompletný popis

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

When Counterinsurgency Wins

The Complete Works of Ralph Waldo Emerson: Lectures and Biographical Sketches

Introduction to Psychological Science

The Life of Sir Robert Christison

Consumer Society

Race for Capital

Body for a Body

Pope Pius XII

Economic Policy for Growth

Our Musicals, Ourselves

Effective Teaching of Biology

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Etude Sur l'Histoire de Napoleon, de M. Le Bon Martin

Osmanlida Devlet Hukuk ve Adalet

A través de la luz: Poemas

Recueille la fleur de mes pensées

Skvelá Sisi