Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Zamani, Majid (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zufferey, Damien (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11652
• Θέματα: Computer logic.; Software engineering.; Artificial intelligence.; Computers.; Logics and Meanings of Programs.; Software Engineering.; Artificial Intelligence.; The Computing Profession.

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 shor...

Πίνακας περιεχομένων:

• 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.