Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings. ([2019])

• Record Type: Book
• Further Information: Note: Edited by Majid Zamani, Damien Zufferey.
• Editors: Zamani, Majid; Zufferey, Damien
• Other Names: NSV (Workshop), 12th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xv, 145 pages), illustrations (some color)
• Subjects: 005.1/4; Computer software -- Verification -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030284237; 3030284239
• Related ISBNs: 9783030284220
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 29, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.