Articles liés à Numerical Software Verification: 12th International...
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Tutorials.- Correctness and Optimality for Control Systems.- Modeling, Control, and Verification of an Automated Transport System.- Formal Methods for Highly Automated Driving Applications.- Trust, Resilience and Interpretability of AI Models.- Reinforcement Learning and Formal Requirements.- Contributed Papers.- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws.- Rigorous Continuous Evolution of Uncertain Systems.- Stochastic Local Search for Solving Floating-Point Constraints.- Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.- Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.- Polytopic Trees for Verification of Learning-Based Controllers.- Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2019
- ISBN 10 3030284247
- ISBN 13 9783030284244
- ReliurePaperback
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
