Articles liés à Software Verification and Formal Methods for ML-Enabled...
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... - August 1, and August 11, 2022, Proceedings - Couverture souple
Synopsis
FoMLAS 2022.- VPN: Verification of Poisoning in Neural Networks.- A Cascade of Checkers for Run-time Certification of Local Robustness.- CEG4N: Counter-Example Guided Neural Network Quantization Refinement .- Minimal Multi-Layer Modifications of Deep Neural Networks.- Differentiable Logics for Neural Network Training and Verification.- Neural Networks in Imandra: Matrix Representation as a Verification Choice.- Self-Correcting Neural Networks For Safe Classification.- Self-Correcting Neural Networks For Safe Classification.- NSV 2022.- Verified Numerical Methods for Ordinary Differential Equations.- Neural Network Precision Tuning Using Stochastic Arithmetic.- MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2022
- ISBN 10 3031212231
- ISBN 13 9783031212239
- ReliureBroché
- Langueanglais
- Nombre de pages216
- ÉditeurIsac Omri, Ivanov Radoslav, Katz Guy
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 55,73
EUR 4,73 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Software Verification and Formal Methods for ML-Enabled...
Image d'archives
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... - August 1, and August 11, 2022, Proceedings
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031212239_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783031212239
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783031212239
Quantité disponible : 10 disponible(s)
Image d'archives
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783031212239
Quantité disponible : Plus de 20 disponibles