Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Brand: Springer
SKU: 44818991
Price: 62.99 EUR
Availability: InStock
Author: Omri Isac
ISBN: 9783031212222

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

Língua

Inglês

E-book Adobe ePub DRM

Editoras Springer, dezembro 2022

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific... Descrição completa

Código Libristo: 44818991

152 b

62.99 €

Em stock Imediatamente descarregável

Também pode estar interessado em

Mathematical Methods in Artificial Intelligence Edward A. Bender

Capa mole

99.04 €

Tattoos & Body Modification Helen Shelton

Capa mole

14.57 €

Hoppy the Happy Frog: Short Stories, Games, Jokes, and More! Uncle Amon

Capa mole

8.80 €

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.