Menu
Виж статуса на поръчката
Свържете се с нас
Книга Software Verification and Formal Methods for ML-Enabled Autonomous Systems Omri Isac

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

Автор: Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
68.49 € 133.96 лв
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific...

Информация за книгата

Автор
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Език
Английски език
Корици
Книга - С меки корици
Издадена
2022
страници
205
EAN
9783031212215
Enbook ID
41908349
Издател
Springer, Berlin
Теглоt
308
Размери
155 x 235 x 12

Пълно описание

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.

Може също да ви хареса

When Counterinsurgency Wins

Ahmed S Hashim
68.64 € 134.25 лв

Our Musicals, Ourselves

John Bush Jones
38.58 € 75.45 лв

Economic Policy for Growth

Salim Rashid
105.17 € 205.70 лв

Pope Pius XII

Leonardo Ciampa
11.47 € 22.43 лв

Consumer Society

BARRY SMART
110.88 € 216.87 лв

The Life of Sir Robert Christison

Robert Christison
28.41 € 55.56 лв

Introduction to Psychological Science

William J. (Pennsylvania State University) Ray
219.82 € 429.93 лв

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

Edward Waldo Emerson
39.78 € 77.80 лв

Клиенти, които купиха тази книга, купиха също

Skvelá Sisi

Kristin Earhart
5.06 € 9.89 лв

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

Sauzay-J
13.27 € 25.96 лв

Osmanlida Devlet Hukuk ve Adalet

Halil Inalcik
15.43 € 30.18 лв

A través de la luz: Poemas

Carmen Cecilia Diaz De Almeida
7.41 € 14.49 лв

Recueille la fleur de mes pensées

Ledent
24.70 € 48.31 лв