Software Verification and Formal Methods for ML-Enabled Autonomous Systems Omri
Titel: Software Verification and Formal Methods for ML-Enabled Autonomous Systems, Untertitel: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, Einband: Taschenbuch, Autor: Omri Isac, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 216, Maße: 235x155x12 mm, Gewicht: 335 g, Verkäufer: buch-mimpf, Schlagworte: architecting computer networks Control Theory Embedded Systems Explainable AI hybrid systems Interactive Theorem Proofs logic and verification Machine Learning network protocols Neural Network Verification Neural Networks numerical methods reachability analysis Satisfiability Modulo Theory Signal Processing Software Engineering Statistical Verification.
Jetzt bei Ebay:
